扫描复杂性再探
摘要：DFA在单向跳跃模式下的扫描复杂度研究：扫描复杂度是指在最坏情况下，这些机器在跳过一些符号后需要多少次返回输入的起始位置。这类机器接受的语言严格包括正则语言，而恒定的扫描复杂度恰好允许接受正则语言。然而，我们表明存在复杂度高于恒定的机器，但仍然只能接受正则语言，并且一般而言，自动机的扫描复杂度不能区分接受正则和非正则语言。我们通过这一复杂度度量定义了渐进类别的分离结果，并给出了在这类机器上可以验证的某些输入因子之间的出人意料的指数/对数关系。
作者：Szil''ard Zsolt Fazekas, Robert Mercac{s}
论文ID：2308.06683
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-08-15