编译原理——确定有穷自动机的化简-分割法

文章目录 3.4.4 确定有穷自动机的化简 1.化简的有穷自动机的定义 2.分割法 3.The End 3.4.4 确定有穷自动机的化简 1.化简的有穷自动机的定义 一个没有多余状态并且没有两个状态是等价的有穷自动机。 多余状态（无用状态）：从该自动机的开始状态出发，任何输入串也不能到达的那个状态 等价状态： 两个状态必须同时为可接受状态（终态）或者不可接受状态（非终态）——一致性条件 对于所有的

>>阅读原文<<