Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata

Shenggen Zheng Jozef Gruska Daowen Qiu

Published in: CoRR (2013)

Keyphrases

finite automata
deterministic automata
building blocks
power consumption
probabilistic automata
metadata
domain knowledge
grammatical inference