单项选择题
推导是一个替换序列，每一步都是对（）进行替换，形成一个从单独的结构名开始，结束于一串记号符号的过程。
A.终结符B.记号C.非终结符D.特殊符号
单项选择题 下面（）是词法分析的理论基础。
判断题 在有穷自动机中，有穷自动机的状态s和t不等价，则称这两个状态是可区别的。
单项选择题 以下（）不是DFA的组成部分。
