Interactive proofs with quantum finite automata.

Harumichi Nishimura Tomoyuki Yamakami

Published in: Theor. Comput. Sci. (2015)

Keyphrases

finite automata
grammatical inference
regular expressions
deterministic automata
probabilistic automata
tree automata
finite automaton
machine learning
theorem proving
data mining
artificial intelligence
data model
computational model
biological data
quantum computing