K+1 Heads are Better Than K

There are languages which can be recognized by a deterministic (k+1)-headed one-way finite automaton but which cannot be recognized by a k-headed one-way (deterministic or non-deterministic) finite automaton. Furthermore, there is a language accepted by a 2-headed nondeterministic finite automaton w...

Full description

Bibliographic Details
Main Authors: Yao, Andrew C., Rivest, Ronald L.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/148903