量子有限状态机的等价性检验
形式语言与自动机理论
2022-09-13 v3 量子物理
摘要
本文引入量子Mealy机模型,并研究其等价性检验与最小化问题。我们开发了两种高效算法,分别用于检验同一机器中两个状态的等价性以及两台机器的等价性。作为应用,它们被用于量子电路的等价性检验。此外,最小化问题被证明属于 。
引用
@article{arxiv.1901.02173,
title = {Equivalence Checking of Quantum Finite-State Machines},
author = {Qisheng Wang and Junyi Liu and Mingsheng Ying},
journal= {arXiv preprint arXiv:1901.02173},
year = {2022}
}
备注
Minor corrections. 29 pages, 2 figures, 3 tables, 2 algorithms