编译原理 —— 有穷自动机到正规文法的转换

已知有穷自动机html M = ( Q ， ∑ ， f ， q 0 ， Z ) M=(Q， ∑ ，f ，q_0，Z) M=(Q，∑，f，q0​，Z) 其中， Q Q Q 是有限状态集， ∑ ∑ ∑ 是输入字符的字母表， f f f 是 Q × Σ Q×Σ Q×Σ 到 Q Q Q 的单值部分映射（即状态转换）， q 0 ∈ Q q_0∈Q q0​∈Q 是惟一初态， Z Z Z 是终态集（可空）web

>>阅读原文<<