摘要
Birget,J.-C.(1992),“正则语言和状态复杂性的交叉和联合”, 通知。 过程。 莱特 . 43 (4), 185--190. 谷歌学者 数字图书馆 Cámpeanu,C.,Culik,K.,Salomaa,K.&Yu,S.(2001),有限语言上基本操作的状态复杂性, 在里面 “自动化实施”,第2214卷,共页 计算机讲义。 科学 施普林格,柏林/海德堡,第148-157页。 谷歌学者 Gramlich,G.&Schnitger,G.(2007),“最小化NFA和正则表达式”, J.计算。 系统。 科学 . 73 (6), 908--923. 谷歌学者 数字图书馆 Holzer,M.和Kutrib,M.(2003) 一 ),“正则语言的非确定性描述复杂性”, 国际。 J.找到。 计算。 科学 . 14 (6), 1087--1102. CIAA 2002(Tours)精选论文。 谷歌学者 交叉引用 Holzer,M.和Kutrib,M.(2003) b条 ),非确定性有限自动机上基本操作的状态复杂性, 在里面 “自动机的实现和应用”,第2608卷 计算机讲义。 科学 .,施普林格出版社,柏林,第148-157页。 谷歌学者 数字图书馆 Hopcroft,J.E.和Ullman,J.D.(1979), 自动机理论、语言和计算简介 ,Addison-Wesley Publishing Co.,Reading,Mass.《Addison-Whesley计算机科学丛书》。 谷歌学者 数字图书馆 Iwama,K.、Kambayashi,Y.和Takaki,K.(2000),“DFA状态数的严格界限,相当于 n个 -国家NFA’, 西奥。 计算。 科学 . 237 (1--2), 485--494. 谷歌学者 数字图书馆 Jirásek,J.,Jirá)sková,G.&Szabari,A.(2005),正则语言连接和互补的状态复杂性, 在里面 “自动机的实现和应用”,第3317卷 计算机讲义。 科学 .,施普林格出版社,柏林,第178-189页。 谷歌学者 数字图书馆 Jirásek,J.,Jirá)sková,G.&Szabari,A.(2007),固定字母表上最小非确定性有限自动机的确定性爆破, 在里面 《语言理论的发展》,第4588卷 计算机讲义。 科学 .,柏林施普林格出版社,第254-265页。 谷歌学者 数字图书馆 Jirásková,G.(2005),“二进制正则语言上某些操作的状态复杂性”, 理论。 计算。 科学 . 330 (2), 287--298. 谷歌学者 数字图书馆 Jirásková,G.(2008),《正则语言补语、星和反转的状态复杂性》, 在里面 《语言理论的发展》,第5257卷 计算机讲义。 科学 .,施普林格,柏林,第431-442页。 谷歌学者 数字图书馆 Jirásková,G.(2009),魔法数字和三元字母, 在里面 V.Diekert和D.Nowotka编辑,《语言理论的发展》,第5583卷 计算机科学课堂讲稿 《施普林格-柏林/海德堡》,第300-311页。 谷歌学者 数字图书馆 Moore,F.R.(1971),“关于确定性、非确定性和双向有限自动机等价性证明中状态集大小的界”, IEEE传输。 计算 . 20 (10), 1211--1214. 谷歌学者 数字图书馆 Nerode,A.(1958),“线性自动机转换”, 程序。 阿默尔。 数学。 Soc公司 . 9 , 541--544. 谷歌学者 交叉引用 Piotr Berman,A.L.(1977), 用有限自动机研究正则语言的复杂性 ,波兰科学院计算机科学研究所。 谷歌学者 Rabin,M.O.和Scott,D.(1959),“有限自动机及其决策问题”, IBM J.Res.Develop公司 . 三 , 114--125. 谷歌学者 数字图书馆 Salomaa,A.、Salomaa,K.和Yu,S.(2007),“联合行动的国家复杂性”, 理论。 计算。 科学 . 383 (2--3), 140--152. 谷歌学者 数字图书馆 Schnitger,G.(2006),无ε-转换的正则表达式和NFA, 在里面 ”第23届计算机科学理论方面研讨会(STACS 2006),LNCS 3884(2006),第432-443页。 谷歌学者 数字图书馆 Yu,S.(2005),“国家复杂性:近期结果和开放问题”, 基金。 通知 . 64 (1--4), 471--480. 谷歌学者 数字图书馆
索引术语
有限自动机的确定与互补的描述复杂性
建议
有限自动机的确定与互补的描述复杂性 CATS’11:第十七届计算机会议录:澳大利亚理论研讨会-第119卷 本文研究了将非确定性有限自动机(NFA)转换为确定性有限自自动机(DFA)的子集构造。 众所周知,给定 n个 -状态NFA,子集构造算法生成2 n个 -在…中声明DFA。。。 事件块输入驱动下推自动机的确定 计算机科学-理论与应用 摘要 Nguyen和Ogawa(,2009)在事件块模型下引入了输入驱动下推自动机(也称为可视下推自然主义和嵌套词自动机)的时间扩展,他们展示了。。。