Rabin, M. O.; Scott, D. Finite automata and their decision problems. (English) Zbl 0158.25404 Sequential Machines, select. Papers 63-91 (1964); reprinted from IBM J. Res. Develop. 3, 114-125 (1959). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 10 ReviewsCited in 314 Documents Keywords:mathematical logic PDF BibTeX XML OpenURL