Modular Logic and Quantum Finite State Automata

摘要

The connection between quantum finite state automata and modular logic has been analvzed in the paper. We showed the modular logic formulas for which it is possible to construct a quantum finite automaton recognizing the language defined by the formula as well as the formulas of modular logics for which it is impossible to construct a quantum finite state automaton recognizing the language defined by the formulas.