已知有穷自动机
- 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 是终态集(可空)
其对应的文法
- G R = ( V N , V T , P , S ) G_R=(V_N,V_T,P,S) GR=(V