一类交替的ω—有穷自动机和确定的ω—有穷自动机识别能力… |
| |
引用本文: | 周清雷,苏锦祥.一类交替的ω—有穷自动机和确定的ω—有穷自动机识别能力…[J].计算机研究与发展,1995,32(9):17-20,26. |
| |
作者姓名: | 周清雷 苏锦祥 |
| |
摘 要: | 本文提出了一类交替的ω-有穷自动机,即所有状态都是万能的交替的ω-有穷自动机,并采用了构造的方法证明了ω-UAFA和确定的ω-有穷自动机在四种接受条件下接受的ω-语言的等价性。
|
关 键 词: | 有穷自动机 ω-语言 自动机 识别 |
本文献已被 维普 等数据库收录! |
|