卡尔文·C·埃尔格特。 有限自动机设计的决策问题及相关算法。 （英语） Zbl 0111.01102号 事务处理。美国数学。Soc公司。 98, 21-51 (1961); 勘误表103，558-559（1962）。 审核人：J.C.谢泼德森 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于三评论引用于141文件 MSC公司： 03年XX月 数学逻辑和基础 68季度xx 计算理论 关键词：数学逻辑 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Elgot}，翻译。美国数学。Soc.98，21--51（1962；Zbl 0111.01102） 全文： 内政部 参考文献： [1] J.R.Büchi、C.C.Elgot和J.B.Wright，有限自动机理论某些算法的不存在（摘要），通知Amer。数学。Soc.第5卷（1958年），第98页。 [2] A.Church，递归算法在计算机和自动机理论中的应用，讲稿，夏季会议，密歇根大学，1958年6月。 [3] Irving M.Copi、Calvin C.Elgot和Jesse B.Wright，《通过逻辑网络实现事件》，J.Assoc.Compute。机器。5 (1958), 181 – 196. ·Zbl 0088.01901号 ·数字对象标识代码：10.1145/320924.320931 [4] Calvin C.Elgot和Jesse B.Wright，逻辑设计问题中的量词消除，密歇根数学。J.6（1959），65–69·Zbl 0085.34001号 [5] S.C.Kleene，《神经网络和有限自动机中事件的表示》，自动机研究，数学研究年鉴，第34期，普林斯顿大学出版社，新泽西州普林斯顿，1956年，第3-41页。 [6] I.T.梅德韦杰夫，《关于有限自动机中可表示的一类事件》（J.Schorr-Kon从俄语翻译而来），M.I.T.林肯实验室集团报告，1958年6月30日，第34-73页。 [7] 爱德华·穆尔（Edward F.Moore），《Gedanken-experiments on sequential machines》，《Automata studies》，《数学研究年鉴》，第34期，普林斯顿大学出版社，新泽西州普林斯顿，1956年，第129-153页。 [8] 希拉里·普特南（Hilary Putnam），《可决定性和本质不可决定性》，J.Symb。逻辑22（1957），39–54·Zbl 0078.24501号 [9] M.O.Rabin和D.Scott，有限自动机及其决策问题，IBM J.Res.Develop。3 (1959), 114 – 125. ·兹伯利0158.25404 ·doi:10.1147/rd.32.0114 [10] Raphael M.Robinson，《算术中的限制集理论定义》，Proc。阿默尔。数学。Soc.9（1958），238-242·Zbl 0112.00702号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。