EOF token recognition