一类交替的ω-有穷自动机和确定的ω-有穷自动机识别能力的等价性 

本文提出了一类交替的ω-有穷自动机,即所有状态都是万能的交替的ω-有穷自动机(记为ω-UAFA),并采用了构造的方法证明了ω-UAFA和确定的ω-有穷自动机在四种接受条件下接受的ω-语言的等价性。
《计算机研究与发展》  1995年 第09期 下载次数(39)| 被引次数(0)

一类交替的ω-有穷自动机 

本文提出了一类交替的ω-有穷自动机(ω-UAFA),并采用了构造方法证明了ω-UAFA和简单的ω-UAFA在C_1、C_2、C_5和C_4接受条件下的等价性。
《郑州大学学报(自然科学版)》  1994年 第02期 下载次数(16)| 被引次数(2)