语言的幂级数表达式和有限自动机状态方程的近似解法

一、预备知识 具有初始状态和最终状态的有限自动机是一个5维系统。设M=(Q,Σ,q_1,δ,T),其中Σ为输入的有限字母表,Q为有限状态集,q_1,T分别为初始状态和终结状态集合,并且T(?)Q.δ为状态转移函数.δ:Q×Σ→Q 当δ为单值函数时,M为确定有限自动机;如果δ为半序函数时,则M为不完全确定有限自动机。本文讨论不限于确定有限自动机。为方便起见,以下简称M为机器。