沃伊切赫,切尔文斯基;梅西耶·Dębski;托马斯·戈加斯;你好,戈登;桑杰·贾恩;Micha Skrzypczak;弗兰克·斯蒂芬;Tan,Christopher(克里斯托弗·谭) 有限自动机在一元字母表上给出的语言。 arXiv:2302.06435 预印本,arXiv:2302.06435[cs.FL](2023)。 摘要:本文研究了有限自动机操作的复杂性及其在字母表为一元时的决策问题的复杂性。(1) 本文将一元不确定自动机的等式问题的上界从状态数第二根的指数改进为状态数第三根的指数。这几乎符合Fernau和Krebs基于指数时间假设的已知下限。(2) 建立了并、交、补和Kleene星的标准正则运算只能引起多项式或拟多项式的爆破。在最坏的情况下,两个(n)状态ufa的级联会导致从\(n)到一个指数为\(n\)的六次方根或更差的函数的放大。使用正则运算和状态无二义自动机给出的比较语言的有限公式的决策问题,在最坏的情况下,在指数时间假设下需要指数型时间,并且在公式中未使用语言串联的情况下这种复杂性可降到拟多项式时间。LOGSPACE中只比较了Chrobak范式中的状态ufas给出的两种语言。(3) 从这项研究开始,一元字母表语言给定的无限单词在无限单词的固定正则语言中的隶属关系被证明与从给定的自动机构造该语言的dfa一样困难。 MSC公司: 05年3月 与逻辑问题相关的自动机和形式文法 2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等) 2017年第68季度 问题的计算难度(下限、完备性、近似难度等) 65年第68季度 形式语言和自动机 BibTeX公司 引用 \textit{W.Czerwinn ski}等人,“有限自动机在一元字母表上给出的语言”,预打印,arXiv:2302.06435[cs.FL](2023) 全文: arXiv公司 OA许可证 arXiv数据来自arXiv OAI-PMH API.如果你发现了错误,请直接向arXiv报告.