维利亚姆·格弗特 二进制编码的一元正则语言。 （英语） 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 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。注释计算。科学。13242，140-160（2022；Zbl 07793027） 全文： 内政部 arXiv公司
米贾·库尔琴斯基;凯文·洛茨;德克·诺沃特卡;丹尼·鲍尔森 使用SAT解决涉及正则成员谓词的字符串理论。 （英语） Zbl 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。注释计算。科学。13255、134--151（2022年；Zbl 1514.68330） 全文： 内政部
墨菲·贝尔齐什;戴，乔尔·D·。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 涉及正则成员谓词的字符串理论：从实践到理论再到实践。 （英语） Zbl 1528.68425号 Lecroq，Thierry（编辑）等，《单词组合学》。第13届国际会议，WORDS 2021，法国鲁昂，2021年9月13日至17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。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格式引用 \文本{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） 全文： 内政部
罗伯特·S·R·迈尔斯。;斯特凡·米利厄斯;海宁·乌尔巴特 非确定性语法复杂性。 （英语） Zbl 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公司
卢卡斯弗莱舍;杰弗里·沙利特 词典最小单词和计算后继词的状态复杂性。 （英语） 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 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；Zbl 1499.68172） 全文： 内政部
卢卡·埃特罗;安东尼斯·阿奇利奥斯;阿德里安·弗兰卡兰扎;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） 全文： 内政部 链接
亨宁费尔瑙;安德烈亚斯·克雷布斯 关于有限自动机和指数时间假设的问题。 （英语） Zbl 1475.68152号 Han，Yo-Sub（编辑）等，自动机的实现和应用。2016年7月19日至22日，第21届国际会议，CIAA 2016，韩国首尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。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国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9777, 138-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毫米35 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公司：第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}等人，Lect。注释计算。科学。9777，98-110（2016；Zbl 1476.68119） 全文： 内政部 哈尔
弗里德里希·奥托;马蒂亚斯·温德兰特;肯特·奎 可逆有序重启自动机。 （英语） 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 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格式引用 \textit{M.Hulden}，莱克特。注释计算。科学。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） 全文： 内政部
玛丽亚·比安奇;卡洛·梅雷盖蒂;比阿特丽斯·帕拉诺 经典自动机和量子自动机上承诺问题的复杂性。 （英语） 兹比尔1323.68338 Calude，Cristian S.（编辑）等人，《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际，为他撰写的论文。商会：施普林格出版社（ISBN 978-3-319-13349-2/pbk；978-3-319-13350-8/ebook）。计算机科学课堂讲稿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 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） 全文： 内政部
布林克·范德梅尔;勒奈特·范·齐吉尔;杰科·盖尔登胡伊斯 一元对称差分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（编辑）等人，《形式系统的描述复杂性》。第13届国际研讨会，DCFS 2011，2011年7月25日至27日，德国林堡Gießen。诉讼程序。柏林：施普林格出版社（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-Marc Champarnaud公司;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） 全文： 内政部
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 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） 全文： 内政部
克里斯托斯·卡波提斯。 双向有限自动机的规模复杂性。 （英语） 兹比尔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） 全文： 内政部
马库斯·霍尔泽;马丁·库特里布 有限自动机的描述和计算复杂性。 （英语） Zbl 1234.68211号 Dediu，Adrian Horia（编辑）等人，《语言和自动机理论与应用》。2009年4月2-8日在西班牙塔拉戈纳举行的2009年拉丁美洲旅游协会第三届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00981-5/pbk）。《计算机科学讲义》5457，23-42（2009）。MSC公司：65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Holzer}和\textit{M.Kutrib}，莱克特。注释计算。科学。5457，23-42（2009年；Zbl 1234.68211） 全文： 内政部
马库斯·霍尔泽;马丁·库特里布 非确定性有限自动机——描述和计算复杂性的最新结果。 （英语） 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） 全文： 内政部
特里·安德森;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号 伊藤正美（编辑）等，《语言理论的发展》。第十二届国际会议，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） 全文： 内政部