McNaughton, R. Testing and generating infinite sequences by a finite automaton. (English) Zbl 0212.33902 Inf. Control 9, 521-530 (1966). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 161 Documents MSC: 68Q45 Formal languages and automata 68M15 Reliability, testing and fault tolerance of networks and computer systems PDF BibTeX XML Cite \textit{R. McNaughton}, Inf. Control 9, 521--530 (1966; Zbl 0212.33902) Full Text: DOI OpenURL