Moore, Frank R. On the bounds for state-set size in the proofs of equivalence between deterministic, nondeterministic, and two-way finite automata. (English) Zbl 0229.94033 IEEE Trans. Comput. 20, 1211-1219 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 Show Scanned Page Cited in 70 Documents MSC: 68Q45 Formal languages and automata PDFBibTeX XMLCite \textit{F. R. Moore}, IEEE Trans. Comput. 20, 1211--1219 (1971; Zbl 0229.94033) Full Text: DOI