埃里克·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）。 摘要：单词分隔问题要求区分长度为\（\leq n\）的两个单词所需的最小DFA的大小（通过接受一个并拒绝另一个）。在本文中，我们调查了这个问题的已知和未知情况，考虑了一些变化，并证明了几个新的结果。关于整个系列，请参见[Zbl 1218.68017号]. 引用于1审查引用于9文件 理学硕士： 第68季度第45季度 形式语言和自动机 PDF格式BibTeX公司 XML格式引用 \textit{E.D.Demaine}等人，Lect。注释计算。科学。6808147--157（2011年；Zbl 1341.68087） 全文： 内政部 arXiv公司 参考文献： [1] Chrobak，M.：有限自动机和一元语言。理论。计算。科学。 47, 149–158 (1986); 勘误表302、497–498（2003）·兹伯利0638.68096 ·doi:10.1016/0304-3975（86）90142-8 [2] Currie，J.，Petersen，H.，Robson，J.M.，Shallit，J.：用小语法分隔单词。J.自动机、语言与组合数学4、101–110（1999）·Zbl 0937.68070号 [3] Geffert，V.：有限自动机状态层次中的幻数。通知。计算。 205, 1652–1670 (2007) ·Zbl 1130.68069号 ·doi:10.1016/j.ic.2007.07.001 [4] Gimadeev，R.A.，Vyalyi，M.N.：对称群中的恒等关系和用可逆自动机分离单词。摘自：Ablayev，F.，Mayr，E.W.（编辑）CSR 2010。LNCS，第6072卷，第144–155页。斯普林格，海德堡（2010）·Zbl 1285.68134号 ·doi:10.1007/978-3642-13182-0_14 [5] Goralík，P.，Koubek，V.：关于利用自动机识别单词。收录：Kott，L.（编辑）ICALP 1986。LNCS，第226卷，第116-122页。斯普林格，海德堡（1986）·Zbl 0594.68049号 ·doi:10.1007/3-540-16761-7_61 [6] Nozaki，A.：非确定性有限自动机的等价问题。J.计算。系统科学。 18, 8–17 (1979) ·Zbl 0401.68028号 ·doi:10.1016/0022-0000（79）90048-5 [7] Robson，J.M.：用小型自动机分离字符串。通知。过程。莱特。 30, 209–214 (1989) ·兹伯利0666.68051 ·doi:10.1016/0020-0190（89）90215-9 [8] Robson，J.M.：用机器和组分隔单词。RAIRO通知。塞奥尔。应用程序。 30, 81–86 (1996) ·Zbl 0851.68076号 [9] Shallit，J.：形式语言和自动机理论的第二门课程。剑桥大学出版社，剑桥（2009）·Zbl 1163.68025号 [10] Shallit，J.，Breitbart，Y.：自动化I：描述复杂性度量的属性。J.计算。系统科学。 53, 10–25 (1996) ·Zbl 0859.68059号 ·doi:10.1006/jcss.1996.0046 [11] To，A.W.：一元有限自动机与算术级数。通知。过程。莱特。1091010-1014（2009年）·Zbl 1202.68241号 ·doi:10.1016/j.ipl.2009.06.005 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。