半量子有限自动机规模的下界
形式语言与自动机理论
2015-10-06 v2 量子物理
摘要
文献中存在几种有趣的有限自动机混合模型，它们同时具有量子态和经典态。我们将它们称为半量子自动机。在本文中，我们将这些模型的描述能力与确定性有限自动机 (DFA) 进行比较。具体而言，我们提出了一种统一方法，给出了现有三种主要半量子自动机模型规模的下界，该下界表明半量子自动机最多比 DFA 简洁指数倍。与最近的一项工作 (Bianchi, Mereghetti, Palano, Theoret. Comput. Sci., 551(2014), 102-115) 相比，我们的方法显示了以下两个优势：(i) 我们的方法更加简洁；(ii) 我们的方法是通用的，因为它适用于现有的三种主要半量子自动机模型，而不仅仅是特定模型。
引用
@article{arxiv.1502.02839,
title = {Lower bounds on the size of semi-quantum finite automata},
author = {Lvzhou Li and Daowen Qiu},
journal= {arXiv preprint arXiv:1502.02839},
year = {2015}
}
备注
arXiv admin note: text overlap with arXiv:1206.2131. To appear in Theoretical Computer Science