M.O.拉宾。;D.斯科特。 有限自动机及其决策问题。 (英语) Zbl 0158.25404号 Sequential Machines(顺序机器),选择。文件63-91(1964);转载自IBM J.Res.Develop。3, 114-125 (1959). 页码:24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于10评论引用于313文件 关键词:数学逻辑 PDF格式BibTeX公司 XML格式