We consider the effects of allowing a finite state verifier in an intera...
We study the class of languages that have membership proofs which can be...
We study the capabilities of probabilistic finite-state machines that ac...
Every language in NL has a k-head two-way nondeterministic finite automa...