论文部分内容阅读
1983年Tony.T.lee提出了有限自动机的状态空间方法,引进了语言的(?)—表达式,给出了∑={0,1}时的状态方程的解。本文将它推广到∑={δ_0,δ_1,…,δ_(2m-1)},并讨论了表达式的性质,将它的状态方程和Kleene's方程联系起来,并给出了不完全描述有限自动机的计算实例。