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

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

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