首页 | 本学科首页   官方微博 | 高级检索  
     

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

关 键 词:有穷自动机  ω-语言  自动机  识别
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号