词法分析器交给语法分析器的文法符号一定是（），它一定只出现在产生式的（）部。

推导是一个替换序列，每一步都是对（）进行替换，形成一个从单独的结构名开始，结束于一串记号符号的过程。A.终结符...

单项选择题推导是一个替换序列，每一步都是对（）进行替换，形成一个从单独的结构名开始，结束于一串记号符号的过程。

下面（）是词法分析的理论基础。A.下推自动机B.有穷自动机C.正规式D.正规文法

单项选择题下面（）是词法分析的理论基础。

在有穷自动机中，有穷自动机的状态s和t不等价，则称这两个状态是可区别的。

判断题在有穷自动机中，有穷自动机的状态s和t不等价，则称这两个状态是可区别的。