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）。 摘要：众所周知，一元字母表上的任何非确定性有限自动机都可以用称为Chrobak范式的某种范式表示[M.Chrobak先生，提奥。计算。科学。47149–158（1986年；Zbl 0638.68096号)]. 我们提供了一个在（mathcal{O}（n^3））时间内工作的非常简单的转换过程。然后，我们扩展了该算法，以改进关于一元正则语言的不同表示之间的转换的两种权衡。给定一个\（n）-状态NFA，我们能够找到一个size的正则表达式（\mathcal{O}（\frac{n^2}{\log^2n}）），它描述了相同的语言（这改进了先前已知的\（mathcal}O}\)非终结符（这改进了以前已知的\（\mathcal｛O｝（n^｛2/3｝）\）界[M.多马拉茨基等，《Inf.Process》。莱特。84，第6期，339–344（2002年；Zbl 1042.68060号)]).关于整个系列，请参见[Zbl 1218.68010号]. 引用于11文件 MSC公司： 65年第68季度 形式语言和自动机 关键词：一元自动机;描述复杂性 引文：Zbl 0638.68096号;Zbl 1042.68060号 PDF格式BibTeX公司 XML格式引用 \textit{P.Gawrychowski}，莱克特。注释计算。科学。6807142--153（2011年；Zbl 1297.68130） 全文： 内政部 参考文献： [1] Chrobak，M.：有限自动机和一元语言。西奥。计算。科学。 47, 149–158 (1986) ·Zbl 0638.68096号 ·doi:10.1016/0304-3975（86）90142-8 [2] Chrobak，M.：勘误表：有限自动机和一元语言。西奥。计算。科学。 302, 497–498 (2003) ·doi:10.1016/S0304-3975（03）00136-1 [3] Domaratzki，M.，Pighizzini，G.，Shallit，J.：用无上下文文法模拟有限自动机。《信息处理快报》84（6），339–344（2002）·Zbl 1042.68060号 ·doi:10.1016/S0020-0190（02）00316-2 [4] Ehrenfeucht，A.，Zeiger，P.：正则表达式的复杂性度量。摘自：第六届ACM计算机理论年会论文集（STOC 1974），第75-79页。纽约ACM出版社（1974）·Zbl 0357.68043号 ·doi:10.1145/800119.803886 [5] Erdos，P.，Graham，R.：关于Frobenius的线性丢番图问题。《阿里斯学报》。 21, 399–408 (1972) ·Zbl 0246.10010号 [6] Geffert，V.：有限自动机状态层次中的幻数。Inf.计算。 205, 1652–1670 (2007) ·Zbl 1130.68069号 ·doi:10.1016/j.ic.2007.07.001 [7] Gruber，H.、Holzer，M.：有限自动机、有向图连通性和正则表达式大小。在：Aceto，L.，Damgård，I.，Goldberg，L.A.，Halldórsson，M.M.，Ingólfsdóttir，A.，Walukiewicz，I.（编辑）ICALP 2008，第二部分。LNCS，第5126卷，第39-50页。斯普林格，海德堡（2008）·Zbl 1155.68418号 ·doi:10.1007/978-3-540-70583-3_4 [8] Martinez，A.：从一元NFA高效计算正则表达式。在：DFCS 2002，第174–187页（2002） [9] Martinez，A.：形式语言主题：字符串枚举、一元NFA和状态复杂性。滑铁卢大学数学硕士论文（2002年） [10] Meyer，A.R.，Fischer，M.J.：自动机、语法和形式系统的描述经济。摘自：第十二届交换与自动机理论年度研讨会论文集（SWAT 1971），第188-191页。IEEE计算机学会出版社，洛斯·阿拉米托斯（1971）·doi:10.1109/SWAT.1971.11 [11] R.J.帕里克：关于无语境语言。《美国医学会杂志》13，570–581（1966）·Zbl 0154.25801号 ·数字对象标识代码：10.1145/321356.321364 [12] Sawa，Z.：一元NFA所接受的语言的半线性表示的有效构造。收录：Kučera，A.，Potapov，I.（eds.）RP 2010。LNCS，第6227卷，第176-182页。斯普林格，海德堡（2010）·Zbl 1287.68100号 ·doi:10.1007/978-3-642-15349-5_12 [13] To，A.W.：一元有限自动机与算术级数。信息处理快报109（17），1010–1014（2009）·Zbl 1202.68241号 ·doi:10.1016/j.ipl.2009.06.005 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。