FRANK R. MOORE

On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata

FRANK R. MOORE, F. R. Moore, 1971, IEEE Transactions on Computers.