Equivalence Checking of Quantum Finite-State Machines.

Qisheng Wang Junyi Liu Mingsheng Ying

Published in: CoRR (2019)

Keyphrases

finite state machines
model checking
finite state automata
quantum computing
quantum computation
regular expressions
quantum inspired
logic circuits
hidden markov models
co occurrence
equivalence relation
digital circuits
quantum mechanics
database
data model
contextual information