Login / Signup

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

Shenggen ZhengDaowen QiuJozef Gruska
Published in: Inf. Comput. (2015)
Keyphrases
  • finite automata
  • expert systems
  • grammatical inference
  • deterministic automata
  • database systems
  • pattern matching
  • power consumption
  • regular expressions
  • probabilistic automata