R·麦克诺顿。 用有限自动机测试和生成无限序列。 (英语) Zbl 0212.33902号 Inf.控制 9521-530(1966年). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于172文件 MSC公司: 65年第68季度 形式语言和自动机 68米15 网络和计算机系统的可靠性、测试和容错 PDF格式BibTeX公司 XML格式引用 \textit{R.McNaughton},信息控制9,521-530(1966年;Zbl 0212.33902) 全文: 内政部