如何在Yacc（Linux Bison）中显式指定EOF？

问：

我在 Linux 上使用 lex （flex） 和 yacc （bison） 构建了一个 SQL 解析器，这个解析器必须用 ';' 结束，它像这样正确解析 SQL：select * from table_a;

但是当我输入以下不正确的 SQL 时，它仍然有效：select * from table_a; where

不知道yacc规则是否支持在输入末尾标记一个EOF，这样在遇到错误语法时可以及时报错。

谢谢。