下面（）是词法分析的理论基础。

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

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

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

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

在有穷自动机中，两个状态是等价的条件是（）。A.两个状态都不是无用状态B.对于所有输入，两个状态迁移到等价状态...

单项选择题在有穷自动机中，两个状态是等价的条件是（）。