用于一元语言的拉脱维亚量子有限状态自动机
形式语言与自动机理论
2023-09-19 v1
摘要
我们设计了拉脱维亚量子有限状态自动机（简称 LQFA），以孤立临界点 1/2 识别一元正则语言。从结构角度看，我们组合了两个分别以孤立临界点识别任意给定一元正则语言 L 的有限部分和最终周期部分的 LQFA。在两个模块中，我们使用了一个文献中已有讨论并在此针对一元情形适当改造的组件，以基于串的长度进行判别。所得 L 的 LQFA 的基态数目及其临界点周围的孤立程度，随 L 的最小确定性有限状态自动机的大小呈指数依赖。
引用
@article{arxiv.2309.08720,
title = {Latvian Quantum Finite State Automata for Unary Languages},
author = {Carlo Mereghetti and Beatrice Palano and Priscilla Raucci},
journal= {arXiv preprint arXiv:2309.08720},
year = {2023}
}
备注
In Proceedings NCMA 2023, arXiv:2309.07333