Equivalence checking of quantum finite-state machines.

Qisheng Wang Junyi Liu Mingsheng Ying

Published in: J. Comput. Syst. Sci. (2021)

Keyphrases

finite state machines
model checking
finite state automata
quantum computation
hidden markov models
quantum computing
regular expressions
consistency checking
digital circuits
quantum inspired
quantum mechanics
information retrieval
evolutionary algorithm
finite automata
logic circuits