以固定截断点识别不可数多语言的最小概率与量子有限自动机
形式语言与自动机理论
2023-06-22 v4 计算复杂性
量子物理
摘要
已知2态二元和3态一元概率有限自动机以及2态一元量子有限自动机以截断点识别不可数多语言。这些结果通过将每种被识别语言与一个截断点相关联，然后利用截断点不可数多的事实获得。在本注记中，我们针对固定截断点证明相同结果：每种被识别语言与一个自动机（即算法）相关联，证明利用自动机不可数多的事实。对每种情况，我们给出一种新的构造。
引用
@article{arxiv.1904.01381,
title = {The minimal probabilistic and quantum finite automata recognizing uncountably many languages with fixed cutpoints},
author = {Aleksejs Naumovs and Maksims Dimitrijevs and Abuzer Yakaryılmaz},
journal= {arXiv preprint arXiv:1904.01381},
year = {2023}
}
备注
12 pages, minor revisions, changing the format to "dmtcs-episciences" style