该文的主要结果是:首先提出自动机运行图(running map of operating map)的概念,然后分别考察ω(Z)-自动机的整体运行图和单字运行图,找出了确定型ω(Z)-自动机与非确定型ω(Z)-自动机的运行图的特点和差异.在此基础上分解Z-自动机成为ω-自动机偶的复合,建立了Z-字的τ(MP)理论,给出了Z-字的τ(MP)等价类数目,之后证明了Z-字的τ(MP)理论的可判定性;作为应用证明了有限状态过程的正确性问题是可判定的.最后提出了扩大了的正规表达式的概念,并用具体例子说明确定型ω-自动机接受的语言集是非确定型ω-自动机接受的语言集的真子集;给出了两类不能构造出非确定型ω-自动机的ω-正规表达式(语言),最后给出Z-自动机的ω-正规表达式刻划.