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

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

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

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

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

以下（）不是DFA的组成部分。A.初始状态集合B.终止状态集合C.有穷字母表D.有限状态集合

单项选择题以下（）不是DFA的组成部分。