维利亚姆·格弗特 二进制编码的一元正则语言。 (英语) Zbl 07810921号 Nagy,Benedek(编辑),自动机的实现和应用。第27届国际会议,CIAA 2023,法马古斯塔,北塞浦路斯,2023年9月19-22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14151, 3-20 (2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Geffert},莱克特。注释计算。科学。14151,3--20(2023;Zbl 07810921) 全文: 内政部
斯特凡·霍夫曼 群语言交换闭包的状态复杂度界。 (英语) Zbl 07770051号 J.汽车。语言梳。 28,编号1-3,27-57(2023).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.霍夫曼},J.Autom。语言梳。28,编号1--3,27-57(2023;Zbl 07770051) 全文: 链接
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 一元语言上的迭代一致有限状态变换器。 (英语) Zbl 07720780号 西奥。计算。科学。 969,文章ID 114049,17 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Theor。计算。科学。969,文章编号114049,17 p.(2023;Zbl 07720780) 全文: 内政部
奥利弗·A·S·里昂。;凯·萨洛马 站点定向删除语言操作的非确定性状态复杂性。 (英语) Zbl 07715624号 西奥。计算。科学。 968,文章ID 113999,11 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{O.A.S.Lyon}和\textit{K.Salomaa},Theor。计算。科学。968,文章ID 113999,11 p.(2023;Zbl 07715624) 全文: 内政部
Chang,Yi-Jun先生;斯图登,简;朱卡苏梅拉 通过自动机理论透镜的分布式图形问题。 (英语) Zbl 07661886号 西奥。计算。科学。 951,文章ID 113710,22 p.(2023).MSC公司:68宽15 65年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Y.-J.Chang}等人,Theor。计算。科学。951,文章ID 113710,22 p.(2023;Zbl 07661886) 全文: 内政部
墨菲·贝尔齐什;戴,乔尔·D·。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 寻求更有效的方法来解决正则表达式重字符串约束。 (英语) 兹比尔1512.68308 西奥。计算。科学。 943, 50-72 (2023).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Berzish}等人,Theor。计算。科学。943,50-72(2023;Zbl 1512.68308) 全文: 内政部
乌迪·博克;卡罗琳娜·莱赫蒂宁;所罗门·西克特 关于自动机到线性时序逻辑的转换。 (英语) Zbl 07793027号 Patricia Bouyer等人,《软件科学和计算结构基础》。第25届国际会议FOSSACS 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分,于2022年4月2日至7日在德国慕尼黑举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13242, 140-160 (2022).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}等人,Lect。注释计算。科学。13242140-160(2022年;兹bl 07793027) 全文: 内政部 arXiv公司
米贾·库尔琴斯基;凯文·洛茨;德克·诺沃特卡;丹尼·鲍尔森 使用SAT解决涉及正则成员谓词的字符串理论。 (英语) 兹比尔1514.68330 Legunson,Owolabi(编辑)等人,《模型检查软件》。第28届国际研讨会,SPIN 2022,虚拟活动,2022年5月21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13255, 134-151 (2022).MSC公司:68瓦32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kulczynski}等人,Lect。注释计算。科学。13255134-151(2022年;兹比尔1514.68330) 全文: 内政部
德米特里·奇斯蒂科夫;斯特凡·基弗;安德烈·穆拉夫斯基。;乘务长,大卫 大O问题。 (英语) Zbl 07566053号 日志。方法计算。科学。 18,第1号,第40号论文,50页(2022年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人,《日志》。方法计算。科学。18,第1号,第40号论文,50页(2022;Zbl 07566053) 全文: arXiv公司 链接
Peter Kostolányi 有理数上一元加权自动机的可确定性。 (英语) Zbl 1490.68127号 西奥。计算。科学。 898, 110-131 (2022). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Kostolányi},Theor。计算。科学。898110--131(2022年;Zbl 1490.68127) 全文: 内政部
卢卡斯弗莱舍;杰弗里·沙利特 识别词典学上最小的单词并计算正则语言中的后继词。 (英语) Zbl 1518.68169号 发现的国际期刊。计算。科学。 32,第6号,641-662(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fleischer}和\textit{J.Shallit},国际期刊发现。计算。科学。32,第6号,641--662(2021;Zbl 1518.68169) 全文: 内政部
墨菲·贝尔齐什;戴,乔尔·D·。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 涉及正则成员谓词的字符串理论:从实践到理论再到实践。 (英语) Zbl 1528.68425号 Lecroq,Thierry(编辑)等,《单词组合学》。2021年9月13日至17日在法国鲁昂举行的第十三届世界2021年国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12847, 50-64 (2021).MSC公司:68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{M.Berzish}等人,Lect。注释计算。科学。12847,50-64(2021;Zbl 1528.68425) 全文: 内政部 arXiv公司
马丁·库特里布;安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 一元语言上的迭代一致有限状态变换器。 (英语) Zbl 1490.68128号 Bureš,Tomáš(编辑)等人,《SOFSEM 2021:计算机科学的理论与实践》。第47届计算机科学理论与实践当前趋势国际会议,SOFSEM 2021,Bolzano-Bozen,意大利,2021年1月25-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12607, 218-232 (2021).MSC公司:65年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,Lect。注释计算。科学。12607、218--232(2021;Zbl 1490.68128) 全文: 内政部
赫尔曼·格鲁伯;霍尔泽,马库斯;马丁·库特里布 正则语言的描述复杂性。 (英语) Zbl 1510.68036号 Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。411-457 (2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gruber}等人,《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。411--457(2021年;Zbl 1510.68036) 全文: 内政部
乔瓦尼·皮吉齐尼;卢卡普里吉奥尼罗 非自嵌入文法和描述性复杂性。 (英语) Zbl 1519.68113号 芬丹。通知。 180,编号1-2,103-122(2021).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pighizzini}和\textit{L.Prigioniero},基金会。通知。180,编号1--2,103-122(2021;Zbl 1519.68113) 全文: 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;Alisa Kovtunova;弗拉迪斯拉夫·里日科夫;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 线性时态逻辑中本体论中介查询的一阶可重写性。 (英语) 兹比尔1520.68182 Artif公司。智力。 299,文章ID 103536,30 p.(2021).MSC公司:68T27型 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,Artif。智力。299,文章ID 103536,30 p.(2021;Zbl 1520.68182) 全文: 内政部 arXiv公司
埃戈尔·多布朗拉沃夫;尼基塔·多布朗拉沃夫;亚历山大·奥霍金 关于双向有限自动机所接受的最短字符串的长度。 (英语) Zbl 1497.68257号 芬丹。通知。 180,编号4,315-331(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Dobronravov}等人,Fundam。通知。180,编号4,315--331(2021;Zbl 1497.68257) 全文: 内政部
罗伯特·S·R·迈尔斯。;斯特凡·米利厄斯;海宁·乌尔巴特 非确定性语法复杂性。 (英语) 兹伯利07410438 Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12650, 448-468 (2021).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.S.R.Myers}等人,Lect。注释计算。科学。12650448--468(2021;Zbl 07410438) 全文: 内政部 arXiv公司
克里斯托夫·哈斯;雅库布·罗伊基 关于Büchi算术的表现力。 (英语) Zbl 07410431号 Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12650, 310-323 (2021).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Haase}和\textit{J.Różycki},Lect。注释计算。科学。12650、310-323(2021;Zbl 07410431) 全文: 内政部 arXiv公司
弗里德里希·奥托;马蒂亚斯·温德兰特 无状态有序RRWW-自动机的可逆性。 (英语) Zbl 1520.68065号 学报信息。 58,第4号,397-425(2021).MSC公司:65年第68季度 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto}和\textit{M.Wendlandt},《学报》第58期,第4期,第397--425页(2021年;Zbl 1520.68065) 全文: 内政部
塞巴斯蒂安·雅各比;卡加·梅克尔;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 等长队列自动机的描述能力。 (英语) Zbl 1520.68058号 学报信息。 58,第4号,335-356(2021).MSC公司:65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakobi}等人,《信息学报》58,第4期,335--356(2021年;Zbl 1520.68058) 全文: 内政部
大卫·布雷索林;伊万·拉内斯 静态和动态属性提供更新。 (英语) 兹比尔1497.68251 Inf.计算。 279,文章ID 104611,24 p.(2021).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}和\textit{I.Lanese},Inf.Comput。279,文章ID 104611,24 p.(2021;Zbl 1497.68251) 全文: 内政部 哈尔
汤马斯·马斯托普斯;马库斯·科洛奇 部分有序自动机和分段可测试性。 (英语) Zbl 07350780号 日志。方法计算。科学。 17,第2号,第14号论文,36页(2021年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.Masopust}和\textit{M.Krötzsch},Log。方法计算。科学。17,第2号,第14号论文,36页(2021;Zbl 07350780) 全文: arXiv公司 链接
卢卡斯·弗莱舍;杰弗里·沙利特 词典最小单词和计算后继词的状态复杂性。 (英语) Zbl 07601063号 Jonoska,Nataša(编辑)等人,《语言理论的发展》。第24届国际会议,DLT 2020,美国佛罗里达州坦帕,2020年5月11日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12086, 83-95 (2020).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fleischer}和\textit{J.Shallit},莱克特。注释计算。科学。12086,83-95(2020;Zbl 07601063) 全文: 内政部 arXiv公司
米查尔·霍斯波达尔;霍尔泽,马库斯 一些操作导致的语言接受状态复杂性的范围。 (英语) Zbl 1482.68126号 发现的国际期刊。计算。科学。 31,第8期,1159-1177(2020). 审核人:安德烈亚斯·马莱蒂(莱比锡) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hospodár}和\textit{M.Holzer},国际法学研究所。计算。科学。31,第8号,1159--1177(2020;Zbl 1482.68126) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 使用递归确定HML的监控器。 (英语) Zbl 1494.68155号 J.日志。阿尔盖布。方法计划。 111,文章ID 100515,38 p.(2020).MSC公司:60年第68季度 03B70号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法计划。111,文章ID 100515,38 p.(2020;Zbl 1494.68155) 全文: 内政部 arXiv公司
克里斯·基勒;凯·萨洛马 分支度量和几乎无循环的NFA。 (英语) Zbl 1427.68148号 发现的国际期刊。计算。科学。 30,编号6-7,1135-1155(2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Keeler}和\textit{K.Salomaa},国际期刊发现。计算。科学。30,编号6--71135--1155(2019;Zbl 1427.68148) 全文: 内政部
多米尼克·D·弗雷登伯格。;马库斯·施密德。 具有反向引用的确定性正则表达式。 (英语) Zbl 1423.68251号 J.计算。系统。科学。 105, 1-39 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Freydenberger}和\textit{M.L.Schmid},J.Compute。系统。科学。105,1-39(2019;Zbl 1423.68251) 全文: 内政部 链接
卢卡斯·弗莱舍;曼弗雷德·库夫莱特纳 弱识别语素的复杂性。 (英语) 兹比尔1483.68166 西奥·雷罗。通知。应用。 53,编号1-2,1-17(2019).MSC公司:65年第68季度 20立方米 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Fleischer}和\textit{M.Kufleitner},RAIRO,Theor。通知。申请。53,编号1--2,1-17(2019;Zbl 1483.68166) 全文: 内政部
乔伊·埃雷蒙迪;奥斯卡·H·伊巴拉。;伊恩·麦克奎伦 确定性可逆有界计数器上的插入操作。 (英语) Zbl 1423.68250号 J.计算。系统。科学。 104, 244-257 (2019).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Eremondi}等人,J.Compute。系统。科学。104、244--257(2019;Zbl 1423.68250) 全文: 内政部 arXiv公司
米哈伊尔·拉斯金 明确自动机的非确定性补码大小的超多项式下限。 (英语) Zbl 1499.68193号 Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。107,第138条,第11页(2018年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Raskin},LIPIcs——莱布尼茨国际程序。通知。107,第138条,第11页(2018;Zbl 1499.68193) 全文: 内政部 arXiv公司
玛丽亚·艾米丽亚·德斯科特;迭戈·菲格拉;小狗,加布里埃尔 重新同步单词关系类。 (英语) Zbl 1499.68172号 Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。107,第123条,第13页(2018年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Descotte}等人,LIPIcs——莱布尼茨国际程序。通知。107,第123条,第13页(2018;兹bl 1499.68172) 全文: 内政部
R.伊布拉希莫夫。;卡迪耶夫。;亚卡里·马茨。 双向自动机的新大小层次结构。 (英语) 兹比尔1403.68114 Lobachevskii J.数学。 39,第7期,997-1009(2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ibrahimov}等人,Lobachevskii J.Math。39,第7号,997--1009(2018;Zbl 1403.68114) 全文: 内政部 arXiv公司
玛丽亚·保拉·比安奇;朱拉吉·赫罗姆科维奇;伊凡·科瓦奇 关于活性问题的双向合理自动机的大小。 (英语) Zbl 1387.68153号 发现的国际期刊。计算。科学。 29,第2期,187-211(2018).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bianchi}等人,国际期刊发现。计算。科学。29,第2号,187--211(2018;Zbl 1387.68153) 全文: 内政部
亨宁费尔瑙;安德烈亚斯·克雷布斯 关于有限自动机和指数时间假设的问题。 (英语) Zbl 1461.68101号 算法(巴塞尔) 10,第1号,第24号论文,25页(2017年).MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}和\textit{A.Krebs},《算法(巴塞尔)》第10卷第1期,第24号论文,第25页(2017年;Zbl 1461.68101) 全文: 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir;克雅坦松,Svarrn 关于确定监控器的复杂性。 (英语) Zbl 1489.68149号 Carayol,Arnaud(编辑)等人,《自动机的实现和应用》。2017年6月27日至30日在法国马内拉瓦莱举行的2017年CIAA第22届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10329, 1-13 (2017).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Lect。注释计算。科学。10329,1-13(2017;Zbl 1489.68149) 全文: 内政部 链接
阿尔哈佐夫,阿蒂姆;亨宁费尔瑙;鲁道夫·弗伦德;塞尔吉·伊万诺夫;拉尼·西罗莫尼;苏布拉曼尼亚语,K.G。 具有矩阵控制、常规控制语言和组织P系统控制的上下文数组语法。 (英语) 兹比尔1371.68133 西奥。计算。科学。 682, 5-21 (2017).MSC公司:2012年第68季度 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Alhazov}等人,Theor。计算。科学。682,5--21(2017;Zbl 1371.68133) 全文: 内政部
内尔玛·莫雷拉;乔瓦尼·皮吉齐尼;罗杰里奥·里斯 具有部分指定行为的自动机的最优状态约简。 (英语) Zbl 1355.68167号 西奥。计算。科学。 658,A部分,235-245(2017).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Moreira}等人,Theor。计算。科学。658,A部分,235--245(2017;Zbl 1355.68167) 全文: 内政部
亨宁费尔瑙;安德烈亚斯·克雷布斯 关于有限自动机和指数时间假设的问题。 (英语) Zbl 1475.68152号 Han,Yo-Sub(编辑)等,自动机的实现和应用。第21届国际会议,CIAA 2016,韩国首尔,2016年7月19日至22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9705, 89-100 (2016).MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}和\textit{A.Krebs},莱克特。注释计算。科学。9705,89--100(2016;Zbl 1475.68152) 全文: 内政部
安德烈·赫尔曼;马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 有界正则语言的描述复杂性。 (英语) Zbl 1476.68130号 Cámpeanu,Cezar(编辑)等人,《形式系统的描述复杂性》。2016年7月5日至8日,罗马尼亚布加勒斯特,2016年DCFS,第18届IFIP工作组1.2国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。97771938-152(2016年)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Herrmann}等人,Lect。注释计算。科学。9777,138--152(2016;Zbl 1476.68130) 全文: 内政部 哈尔
卢卡斯·弗莱舍;曼弗雷德·库夫莱特纳 弱识别语素的操作。 (英语) Zbl 1476.68159号 Cámpeanu,Cezar(编辑)等人,《形式系统的描述复杂性》。2016年7月5日至8日,罗马尼亚布加勒斯特,2016年DCFS,第18届IFIP工作组1.2国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9777, 126-137 (2016).MSC公司:70年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.Fleischer}和\textit{M.Kufleitner},莱克特。注释计算。科学。9777、126--137(2016年;Zbl 1476.68159) 全文: 内政部 arXiv公司 链接
亨宁费尔瑙;鲁道夫·弗伦德;拉尼·西罗莫尼;苏布拉曼尼亚语,K.G。 具有矩阵和正则控制的上下文数组语法。 (英语) Zbl 1476.68119号 Cámpeanu,Cezar(编辑)等人,《形式系统的描述复杂性》。2016年7月5日至8日,罗马尼亚布加勒斯特,2016年DCFS,第18届IFIP工作组1.2国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9777, 98-110 (2016).MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}等人,Lect。注释计算。科学。9777,98-110(2016;Zbl 1476.68119) 全文: 内政部 哈尔
亚历山大·帕卢达基斯;凯·萨洛马;塞利姆·G·阿克尔。 具有有限不确定性的一元NFA的操作状态复杂性。 (英语) Zbl 1332.68125号 西奥。计算。科学。 610,A部分,108-120(2016).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Palioudakis}等人,Theor。计算。科学。610,A部分,108-120(2016;Zbl 1332.68125) 全文: 内政部
弗里德里希·奥托;马蒂亚斯·温德兰特;肯特·奎 可逆有序重启自动机。 (英语) Zbl 1464.68181号 Krivine,Jean(编辑)等人,《可逆计算》。2015年7月16日至17日,第七届国际会议,RC 2015,法国格勒诺布尔。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9138, 60-75 (2015).MSC公司:65年第68季度 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto}等人,Lect。注释计算。科学。9138,60-75(2015;Zbl 1464.68181) 全文: 内政部
赫尔曼·格鲁伯;霍尔泽,马库斯 从有限自动机到正则表达式再到正则表达式——描述复杂性概述。 (英语) Zbl 1405.68165号 发现的国际期刊。计算。科学。 26,第8期,1009-1040(2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gruber}和\textit{M.Holzer},国际期刊发现。计算。科学。26,第8号,1009--1040(2015;Zbl 1405.68165) 全文: 内政部 arXiv公司
乔瓦尼·皮吉齐尼 研究一元字母表上的自动机和语言。 (英语) 兹比尔1330.68176 发现的国际期刊。计算。科学。 26,第7期,827-850(2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pighizini},国际期刊发现。计算。科学。26,第7号,827--850(2015;Zbl 1330.68176) 全文: 内政部
卢,平;彭飞飞;陈海明;郑丽晓 决定一元语言的决定论。 (英语) Zbl 1332.68122号 Inf.计算。 245, 181-196 (2015).MSC公司:65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Lu}等人,《信息计算》。245181-196(2015年;Zbl 1332.68122) 全文: 内政部
玛丽亚·保拉·比安奇;朱拉吉·赫罗姆科维奇;伊凡·科瓦奇 关于活性问题的双向合理自动机的大小。 (英语) Zbl 1386.68085号 Potapov,Igor(编辑),语言理论的发展。2015年7月27日至30日在英国利物浦举行的2015年DLT第19届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-21499-3/pbk;978-3-3169-21500-6/电子书)。计算机科学讲义9168120-131(2015)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bianchi}等人,Lect。注释计算。科学。9168、120-131(2015年;Zbl 1386.68085) 全文: 内政部
Hulden,Mans公司 从双向到单向有限自动机——三种基于正则表达式的方法。 (英语) 兹比尔1465.68151 Drewes,Frank(编辑),自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9223, 176-187 (2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{M.Hulden},Lect。注释计算。科学。9223176-187(2015年;Zbl 1465.68151) 全文: 内政部
彼得·姆林纳奇克 免费理想语言的补充。 (英语) Zbl 1432.68234号 Shallit,Jeffrey(编辑)等人,《形式系统的描述复杂性》。2015年6月25日至27日,加拿大安大略省滑铁卢,第17届DCFS国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9118, 185-196 (2015).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Mlynárčik},莱克特。注释计算。科学。9118,185-196(2015;Zbl 1432.68234) 全文: 内政部
塞扎尔·坎帕努;凯·萨洛马 正则语言的不确定性树宽度。 (英语) Zbl 1320.68109号 Shallit,Jeffrey(编辑)等人,《形式系统的描述复杂性》。2015年6月25日至27日,加拿大安大略省滑铁卢,第17届DCFS国际研讨会。诉讼程序。查姆:施普林格(ISBN 978-3-319-19224-6/pbk;978-3-316-19225-3/电子书)。计算机科学讲义9118,46-57(2015)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Cámpeanu}和\textit{K.Salomaa},莱克特。注释计算。科学。9118、46-57(2015年;Zbl 1320.68109) 全文: 内政部
亚历山德罗·阿塔尔;罗马人孔查科夫;弗拉迪斯拉夫·雷日科夫;迈克尔·扎克哈里亚舍夫 带有描述逻辑的时间概念数据建模食谱。 (英语) Zbl 1354.68245号 ACM事务处理。计算。日志。 第15号第3条第25条第50页(2014年).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,ACM翻译。计算。日志。15,第3号,第25条,第50页(2014年;兹bl 1354.68245) 全文: 内政部 arXiv公司 链接
玛丽亚·比安奇;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 经典和量子自动机上承诺问题的复杂性。 (英语) Zbl 1323.68338号 Calude,Cristian S.(编辑)等人,《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际,为他撰写的论文。查姆:施普林格(ISBN 978-3-319-13349-2/pbk;978-3-316-13350-8/电子书)。计算机科学课堂讲稿8808,161-175(2014)。MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bianchi}等人,Lect。注释计算。科学。8808161--175(2014年;Zbl 1323.68338) 全文: 内政部
朱哈尼·卡胡马基;亚历山大·奥霍金 关于识别等长语言的有限自动机的确定爆破。 (英语) Zbl 1323.68341号 Calude,Cristian S.(编辑)等人,《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际,为他撰写的论文。查姆:施普林格(ISBN 978-3-319-13349-2/pbk;978-3-316-13350-8/电子书)。计算机科学课堂讲稿8808,71-82(2014)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Karhumäki}和\textit{A.Okhotin},莱克特。注释计算。科学。880871-82(2014年;Zbl 1323.68341) 全文: 内政部
乔瓦尼·皮吉齐尼;安德烈亚·皮索尼 有限自动机和正则语言。 (英语) Zbl 1320.68114号 发现的国际期刊。计算。科学。 25,第7期,897-916(2014).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pighizini}和\textit{A.Pisoni},国际法学杂志发现。计算。科学。25,编号7,897-916(2014;兹bl 1320.68114) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;马蒂亚斯·温德兰特 一元单向多头有限自动机的仿真。 (英语) Zbl 1320.68112号 发现的国际期刊。计算。科学。 25,第7期,877-896(2014).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《国际法学杂志》发现。计算。科学。25,第7号,877--896(2014;Zbl 1320.68112) 全文: 内政部
丹尼尔·戈奇;亚历山大·帕卢达基斯;凯·萨洛马 比例移除的非确定性状态复杂性。 (英语) Zbl 1320.68110号 发现的国际期刊。计算。科学。 25,第7期,823-835(2014).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Goč}等人,国际期刊发现。计算。科学。25,第7号,823--835(2014;Zbl 1320.68110) 全文: 内政部
马丁·库特里布;安德烈亚斯·马尔彻;乔瓦尼·皮吉齐尼 遗忘双向有限自动机:可判定性和复杂性。 (英语) Zbl 1360.68567号 Inf.计算。 237, 294-302 (2014).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}等人,《信息计算》。237、294--302(2014年;Zbl 1360.68567) 全文: 内政部
范德梅尔,A.B。;范·齐吉尔,L。;Geldenhuys,J。 对称差分NFA的歧义性和结构歧义性。 (英语) Zbl 1359.68182号 西奥。计算。科学。 537, 97-104 (2014).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.B.van der Merwe}等人,Theor。计算。科学。537、97——104(2014年;Zbl 1359.68182) 全文: 内政部
朱拉吉·赫罗姆科维奇;拉斯蒂斯拉夫·克拉洛维奇;理查德·克拉洛维奇;理查德·什·特法内克 双向自动机的确定性与非确定性:用逻辑公式表示状态的含义。 (英语) Zbl 1293.68188号 发现的国际期刊。计算。科学。 24,第7期,955-978(2013).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}等人,《国际法学杂志》发现。计算。科学。24,第7号,955--978(2013;Zbl 1293.68188) 全文: 内政部
斯特凡·古兰 带循环的串联平行有向图。 (英语) Zbl 1286.68282号 理论计算。系统。 53,第2期,126-158(2013).MSC公司:65年第68季度 05C20号 05C38号 PDF格式BibTeX公司 XML格式引用 \textit{S.Gulan},理论计算。系统。53,第2号,126--158(2013;Zbl 1286.68282) 全文: 内政部
亚历山大·奥霍金;朴晓雪;凯·萨洛马 输入驱动下推自动机的描述复杂性。 (英语) Zbl 1367.68176号 Bordihn,Henning(编辑)等人,《活着的语言》。纪念尤尔根·达索65岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-31643-2/pbk)。计算机科学讲义7300186-206(2012)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Okhotin}等人,Lect。注释计算。科学。7300、186--206(2012;Zbl 1367.68176) 全文: 内政部
马丁·卡普斯;安德烈亚斯·马尔彻;沃奇克,德特勒夫 纪念钱德拉·金塔拉。 (英语) Zbl 1246.01037号 发现的国际期刊。计算。科学。 23,第1期,5-19(2012).MSC公司:01A70号 19年第68季度 65年第68季度 68-03 PDF格式BibTeX公司 XML格式引用 \textit{M.Kappes}等人,国际期刊发现。计算。科学。23、编号1、5--19(2012;Zbl 1246.01037) 全文: 内政部
安德烈亚斯·马尔彻;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 具有受限头部反转的双向下推自动机的描述复杂性。 (英语) Zbl 1276.68094号 西奥。计算。科学。 449, 119-133 (2012). 审核人:乔瓦尼·皮奇奇尼(米兰) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malcher}等人,Theor。计算。科学。449、119--133(2012年;Zbl 1276.68094) 全文: 内政部
米查尔·库克;亚历山大·奥霍金 一元字母表上双向有限自动机操作的状态复杂性。 (英语) 兹比尔1255.68078 西奥。计算。科学。 449, 106-118 (2012).MSC公司:19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunc}和\textit{A.Okhotin},Theor。计算。科学。449106-118(2012年;Zbl 1255.68078) 全文: 内政部
尚帕诺,让-马克;Jean-Philippe杜伯纳德;弗兰克·吉尼;珍妮·哈德里安 几何正则语言和线性丢番图方程:强连通情形。 (英语) Zbl 1279.68141号 西奥。计算。科学。 449, 54-63 (2012).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Champarnaud}等人,Theor。计算。科学。449、54-63(2012年;Zbl 1279.68141) 全文: 内政部
霍尔泽,马库斯;马丁·库特里布;卡加·梅克尔 无星语言的非确定性状态复杂性。 (英语) Zbl 1278.68135号 西奥。计算。科学。 450, 68-80 (2012). 审核人:Giovanni Pighizini(米兰) MSC公司:65年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,Theor。计算。科学。450、68-80(2012年;Zbl 1278.68135) 全文: 内政部
维利亚姆·格弗特;乔瓦尼·皮吉齐尼 具有“平衡”非确定性自动机的互补一元语言对。 (英语) Zbl 1236.68168号 算法 63,第3期,571-587(2012).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Geffert}和\textit{G.Pighizzini},算法63,编号3,571–587(2012;Zbl 1236.68168) 全文: 内政部
布林克·范德梅尔;勒奈特·范·齐吉尔;杰科·盖尔登胡伊斯 一元对称差分NFA的模糊性。 (英语) Zbl 1351.68145号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,256-266(2011)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.van der Merwe}等人,莱克特。注释计算。科学。6916,256--266(2011;Zbl 1351.68145) 全文: 内政部
米查尔·库克;亚历山大·奥霍金 一元字母表上双向确定性有限自动机操作的状态复杂性。 (英语) Zbl 1341.68099号 Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。2011年7月25日至27日,第13届国际研讨会,DCFS 2011,德国利姆堡Gießen/Limburg。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学讲义6808222-234(2011)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kunc}和\textit{A.Okhotin},莱克特。注释计算。科学。6808222--234(2011;Zbl 1341.68099) 全文: 内政部
加琳娜·吉尔亚斯科娃;汤马斯·马斯托普斯 说明投影语言的复杂性。 (英语) Zbl 1341.68096号 Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。2011年7月25日至27日,第13届国际研讨会,DCFS 2011,德国利姆堡Gießen/Limburg。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学讲义6808198-211(2011)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková}和\textit{T.Masopust},莱克特。注释计算。科学。6808198--211(2011;Zbl 1341.68096) 全文: 内政部
埃里克·D·德曼。;萨拉·艾森斯塔特;杰弗里·沙利特;大卫·A·威尔逊。 关于分隔词的备注。 (英语) Zbl 1341.68087号 Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。2011年7月25日至27日,第13届国际研讨会,DCFS 2011,德国利姆堡Gießen/Limburg。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学课堂讲稿6808147-157(2011)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.D.Demaine}等人,Lect。注释计算。科学。6808147--157(2011年;Zbl 1341.68087) 全文: 内政部 arXiv公司
尚帕诺,让-马克;Jean-Philippe杜伯纳德;弗兰克·金涅;珍妮·哈德里安 几何正则语言和线性丢番图方程。 (英语) Zbl 1341.68083号 Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。2011年7月25日至27日,第13届国际研讨会,DCFS 2011,德国利姆堡Gießen/Limburg。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学课堂讲稿6808107-120(2011)。MSC公司:65年第68季度 05C40号 05C90年 2004年11月 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Champarnaud}等人,Lect。注释计算。科学。6808107-120(2011;Zbl 1341.68083) 全文: 内政部
霍尔泽,马库斯;马丁·库特里布;卡加·梅克尔 无星语言的非确定性状态复杂性。 (英语) Zbl 1297.68137号 Bouchou-Markhoff,Béatrice(编辑)等人,《自动机的实现和应用》。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22255-9/pbk)。计算机科学课堂讲稿6807178-189(2011)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,Lect。注释计算。科学。6807178--189(2011年;Zbl 1297.68137) 全文: 内政部
Pawe Gawrychowskił 重新访问Chrobak范式,并使用应用程序。 (英语) Zbl 1297.68130号 Bouchou-Markhoff,Béatrice(编辑)等人,《自动机的实现和应用》。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22255-9/pbk)。计算机科学课堂讲稿6807142-153(2011)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gawrychowski},莱克特。注释计算。科学。6807142--153(2011年;Zbl 1297.68130) 全文: 内政部
加琳娜·吉尔亚斯科娃;乔瓦尼·皮吉齐尼 确定性自动机对自验证自动机的优化仿真。 (英语) Zbl 1217.68132号 Inf.计算。 209,第3期,528-535(2011).MSC公司:65年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková}和\textit{G.Pighizini},Inf.Comput。209,编号3528-535(2011年;兹bl 1217.68132) 全文: 内政部
霍尔泽,马库斯;马丁·库特里布 有限自动机的描述和计算复杂性——综述。 (英语) Zbl 1217.68130号 Inf.计算。 209,第3期,456-470(2011).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}和\textit{M.Kutrib},信息计算。209,第3号,456--470(2011;Zbl 1217.68130) 全文: 内政部
霍尔泽,马库斯;马丁·库特里布;安德烈亚斯·马尔彻 多头有限自动机的复杂性:起源和方向。 (英语) Zbl 1207.68188号 西奥。计算。科学。 412,编号1-2,83-96(2011).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}等人,Theor。计算。科学。412,编号1--2,83-96(2011;Zbl 1207.68188) 全文: 内政部
维利亚姆·格弗特;伊什托·奥娃,卢博米拉 从经典双向自动机到卵石双向自动机的转换。 (英语) Zbl 1211.68232号 西奥·雷罗。通知。应用。 44,第4期,507-523(2010).MSC公司:65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Geffert}和\textit{L.Ištoňová},RAIRO,Theor。通知。申请。44,编号4,507--523(2010年;兹bl 1211.68232) 全文: 内政部 欧洲DML 链接
Zdeněk萨瓦 一元NFA所接受语言的半线性表示的有效构造。 (英语) Zbl 1287.68100号 库切拉,安东宁(编辑)等人,《可达性问题》。2010年8月28日至29日,第四届国际研讨会,RP 2010,捷克共和国布尔诺。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15348-8/pbk)。计算机科学课堂讲稿6227176-182(2010)。MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Sawa},莱克特。注释计算。科学。6227176--182(2010年;Zbl 1287.68100) 全文: 内政部
杰·阿图尔;亚历山大·奥霍金 一元字母表上的连接文法:不确定性和无限增长。 (英语) Zbl 1183.68327号 理论计算。系统。 46,第1期,27-58(2010).MSC公司:2012年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeż}和\textit{A.Okhotin},理论计算。系统。46,编号1,27-58(2010;Zbl 1183.68327) 全文: 内政部
吴庆英(Wu,Qing E.)。;王拓;黄永轩;李继生 模糊自动机的状态融合及其在目标跟踪中的应用。 (英语) Zbl 1186.93039号 计算。数学。应用。 57,第6号,949-960(2009).MSC公司:93立方厘米 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{Q.E.Wu}等人,计算。数学。申请。57,第6号,949--960(2009;Zbl 1186.93039) 全文: 内政部
特里·安德森;约翰·洛夫特斯;Narad Rampersad公司;尼古拉·桑提安;杰弗里·沙利特 检测常规语言中的回文、模式和边界。 (英语) Zbl 1192.68403号 Inf.计算。 207,第11期,1096-1118(2009).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Anderson}等人,《信息计算》。207,第11号,1096--1118(2009;Zbl 1192.68403) 全文: 内政部 arXiv公司
霍尔泽,马库斯;马丁·库特里布 非确定性有限自动机——关于描述和计算复杂性的最新结果。 (英语) Zbl 1176.68106号 发现的国际期刊。计算。科学。 20,第4号,563-580(2009).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}和\textit{M.Kutrib},国际期刊发现。计算。科学。20,第4号,563--580(2009;Zbl 1176.68106) 全文: 内政部
海宁·博迪恩;霍尔泽,马库斯;马丁·库特里布 确定接受子区域语言的有限自动机。 (英语) Zbl 1173.68030号 西奥。计算。科学。 410,第35号,3209-3222(2009).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}等人,Theor。计算。科学。410,编号35,3209--3222(2009;Zbl 1173.68030) 全文: 内政部
朱拉吉·赫罗姆科维奇;霍尔格·彼得森;乔治·施尼特 关于证明最小NFA大小下限的通信复杂性技术的局限性。 (英语) 兹比尔1173.68035 西奥。计算。科学。 410,编号30-32,2972-2981(2009).MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}等人,Theor。计算。科学。410,编号30--322972--2981(2009;Zbl 1173.68035) 全文: 内政部
加琳娜·吉尔亚斯科娃 幻数和三元字母表。 (英语) Zbl 1247.68144号 Diekert,Volker(编辑)等人,《语言理论的发展》。第13届国际会议,DLT 2009,德国斯图加特,2009年6月30日至7月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02736-9/pbk)。计算机科学课堂讲稿5583300-311(2009)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková},莱克特。注释计算。科学。5583,300-311(2009;Zbl 1247.68144) 全文: 内政部
克里斯托斯·卡波提斯。 双向有限自动机的规模复杂性。 (英语) Zbl 1247.68146号 Diekert,Volker(编辑)等人,《语言理论的发展》。第13届国际会议,DLT 2009,德国斯图加特,2009年6月30日至7月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02736-9/pbk)。计算机科学课堂讲稿5583,47-66(2009)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Kapountis},莱克特。注释计算。科学。5583、47-66(2009年;Zbl 1247.68146) 全文: 内政部
加琳娜·吉尔亚斯科娃;乔瓦尼·皮吉齐尼 将自我验证自动机转换为确定性自动机。 (英语) Zbl 1234.68214号 Dediu,Adrian Horia(编辑)等人,《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00981-5/pbk)。计算机科学课堂讲稿5457458-468(2009)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Jirásková}和\textit{G.Pighizini},莱克特。注释计算。科学。5457458--468(2009年;Zbl 1234.68214) 全文: 内政部
霍尔泽,马库斯;马丁·库特里布 有限自动机的描述和计算复杂性。 (英语) 兹比尔12346.8211 Dediu,Adrian Horia(编辑)等人,《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00981-5/pbk)。计算机科学课堂讲稿545723-42(2009)。MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}和\textit{M.Kutrib},莱克特。注释计算。科学。5457,23-42(2009年;Zbl 1234.68211) 全文: 内政部
安德鲁·巴德;维利亚姆·格弗特;伊恩·希普曼 超最小化确定性有限状态自动机。 (英语) Zbl 1170.68023号 西奥。通知。应用。 43,第1期,69-94(2009).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Badr}等人,Theor。通知。申请。43,第1号,69-94(2009;Zbl 1170.68023) 全文: 内政部 Numdam编号 欧洲DML
霍尔泽,马库斯;马丁·库特里布 非确定性有限自动机——关于描述和计算复杂性的最新结果。 (英语) Zbl 1172.68511号 Ibarra,Oscar H.(编辑)等人,《自动机的实现和应用》。2008年7月21日至24日,美国加利福尼亚州旧金山,CIAA 2008第13届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70843-8/pbk)。计算机科学课堂讲稿5148,1-16(2008)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}和\textit{M.Kutrib},莱克特。注释计算。科学。5148,1--16(2008;Zbl 1172.68511) 全文: 内政部
Jozef Jirásek;吉拉斯科娃,加利纳;亚历山大·萨巴里 固定字母表上最小非确定性有限自动机的确定性爆破。 (英语) Zbl 1155.68041号 发现的国际期刊。计算。科学。 19,第3期,617-631(2008).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jirásek}等人,国际法学研究所。计算。科学。19,第3号,617--631(2008;Zbl 1155.68041) 全文: 内政部
特里·安德森;Narad Rampersad公司;尼古拉·桑提安;杰弗里·沙利特 有限自动机、回文、幂和模式。 (英语) Zbl 1156.68441号 Martín-Vide,Carlos(编辑)等人,《语言和自动机理论与应用》。2008年3月13日至19日在西班牙塔拉戈纳举行的2008年拉丁美洲旅游协会第二届国际会议。修订论文。柏林:施普林格出版社(ISBN 978-3-540-88281-7/pbk)。计算机科学课堂讲稿5196,52-63(2008)。MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.Anderson}等人,Lect。注释计算。科学。5196,52-63(2008年;兹bl 1156.68441) 全文: 内政部
杰弗里·沙利特 Frobenius问题及其推广。 (英语) Zbl 1161.11319号 伊藤正美(编辑)等,《语言理论的发展》。第12届国际会议,DLT 2008,日本京都,2008年9月16日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85779-2/pbk)。计算机科学课堂讲稿525772-83(2008)。MSC公司:2004年11月 68页第10页 65年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Shallit},莱克特。注释计算。科学。5257、72--83(2008年;Zbl 1161.11319) 全文: 内政部
朱拉吉·赫罗姆科维奇;乔治·施尼特 关于确定小型NFA和证明其大小下限的难度。 (英语) Zbl 1159.68017号 伊藤正美(编辑)等,《语言理论的发展》。第十二届国际会议,DLT 2008,日本京都,2008年9月16-19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85779-2/pbk)。计算机科学课堂讲稿525734-55(2008)。MSC公司:65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}和\textit{G.Schnitger},莱克特。注释计算。科学。5257、34-55(2008年;Zbl 1159.68017) 全文: 内政部
维利亚姆·格弗特 有限自动机状态层次中的幻数。 (英语) Zbl 1130.68069号 Inf.计算。 205,第11期,1652-1670(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Geffert},Inf.计算。205,第11号,1652--1670(2007;Zbl 1130.68069) 全文: 内政部
Han、Yo-Sub;阿托·萨洛马;凯萨洛玛;伍德,德里克;于盛 关于素分解的存在性。 (英语) Zbl 1111.68055号 西奥。计算。科学。 376,编号1-2,60-69(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{Y.-S.Han}等人,Theor。计算。科学。376,编号1--2,60-69(2007;Zbl 1111.68055) 全文: 内政部
Narad Rampersad公司 (L^{2})和(L^k)的状态复杂度。 (英语) Zbl 1187.68298号 信息处理。莱特。 98,第6期,231-234(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Rampersad},Inf.过程。莱特。98,第6号,231--234(2006;Zbl 1187.68298) 全文: 内政部
加琳娜·吉尔亚斯科娃 最小NFA的决定性放大。 (英语) Zbl 1110.68064号 西奥。通知。应用。 40,第3期,485-499(2006).MSC公司:65年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Jirásková},Theor。通知。申请。40,第3号,485--499(2006;Zbl 1110.68064) 全文: 内政部 Numdam编号 欧洲DML 链接