Algorithm to build quantum circuit from classical description of DFSM
Varun Puram, Dingyi Kang, K. M. George, Johnson P. Thomas · 2022 IEEE International Conference on Quantum Computing and Engineering (QCE) · 2022
There are several papers that define quantum finite automaton analogous to classical finite automaton. Some papers describe the power of quantum automaton. In general, in quantum automata unitary matrices are associated to input symbols. Even though quantum circuits (or unitary matrices) are shown in specific cases, there is no general method given to construct a circuit or unitary matrix is found in the literature. This research focuses on construction of unitary matrices for each input symbol from the classical definition of a Deterministic Finite State Machine (DFSM). An algorithm is developed to associate a quantum circuit to an input symbol which considered as a mapping of classical DFSM states. IBM quantum composer is used to design circuits and build examples.