An application of quantum finite automata to interactive proof systems.

Harumichi Nishimura Tomoyuki Yamakami

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

Keyphrases

finite automata
building blocks
grammatical inference
databases
expert systems
database
machine learning
production system
regular expressions
interactive systems
probabilistic automata