Interactive Proofs with Quantum Finite Automata.

Harumichi Nishimura Tomoyuki Yamakami

Published in: CoRR (2014)

Keyphrases

finite automata
probabilistic automata
grammatical inference
regular expressions
deterministic automata
tree automata
database
theorem proving
finite automaton
hidden markov models
regular languages
theorem prover