兰道尔，R。 计算过程中的不可逆性和发热。 （英语） Zbl 1160.68305号 IBM J.研究开发。 5, 183-191 (1961).MSC公司：68个月1日 第68季度01 80A20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Landauer}，IBM J.Res.Dev.5，183--191（1961；Zbl 1160.68305） 全文： 内政部
约翰·麦卡锡 数学计算理论的基础。 （英语） Zbl 0246.68007号 程序。西部联合计算。大会1961年5月9日至11日，洛杉矶19，225-238（1961）。MSC公司：68号01 第68季度25 PDF格式BibTeX公司 XML格式
Yu Shreĭder。答：。 自动机和动态编程问题。 （俄语） Zbl 0204.19902号 问题。基伯恩。 5, 31-48 (1961).MSC公司：90立方厘米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Yu.A.Shreĭder}，Probl（问题）。基伯恩。5，31-48（1961年；兹bl 0204.19902）
Bar-Hillel，Y。;M.佩雷斯。;沙米尔，E。 简单短语结构语法的形式属性。 （英语） Zbl 0158.25307号 语言与信息，精选论文，116-150（1964）；。MSC公司：68T50型 91层20 65年第68季度 PDF格式BibTeX公司 XML格式
渡边茂 5符号8状态和5符号6状态通用图灵机。 （英语） Zbl 0154.41605号 J.协会计算。机器。 8, 476-483 (1961). 审核人：D.塔马里 MSC公司：04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Watanabe}，J.协会计算。马赫。8476-483（1961年；Zbl 0154.41605） 全文： 内政部
V.V.马丁纽克。 例如Beziehungen zwischen der Speicherkapaziteät und der Leistungsfähigkeit endlicher Automaten。 （英语、德语。俄文原件） Zbl 0143.02101号 问题。赛博。 5, 115-129 (1964); 问题。Kybernetik 5，78-89（1964）；Probl的翻译。Kibernetiki 5，87-96（1961）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛V.V.Martynyuk｝，问题。基伯恩。5、87-96（1961年；Zbl 0143.02101）；Probl的翻译。Kibernetiki 5，87--96（1961）
罗伯特·麦克诺顿 自动机理论综述。 （英语） Zbl 0133.09801号 高级计算。 2, 379-421 (1961).MSC公司：65年第68季度 68-02 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.McNaughton}，高级计算。2379-421（1961年；Zbl 0133.09801） 全文： 内政部
亚瑟·吉尔 有限自动机中的状态识别实验。 （英语） Zbl 0129.26203号 Inf.控制 4, 132-154 (1961). 审核人：约翰·谢泼德森（布里斯托尔） MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gill}，Inf.Control 4，132--154（1961；Zbl 0129.26203） 全文： 内政部
Trakhtenbrot，学士。 有限自动机和单位置谓词的逻辑。 （英语。俄文原件） 兹比尔0115.00702 苏联。物理。，多克。 6, 753-755 (1962); Dokl翻译。阿卡德。Nauk SSSR 140，326-329（1961）。 审核人：J.C.谢泼德森 MSC公司：03年XX月 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.A.Trakhtenbrot}，苏联。物理。，多克。6753-755（1961年；Zbl 0115.00702）；Dokl翻译。阿卡德。瑙克SSSR 140326-329（1961年）
Schützenberger，M.P。 自动化领域的难题。 （法语） Zbl 0113.01402号 Algèbre Théorie Nombres，塞姆。P.Dubreil、M.-L.Dubreil-Jacotin和C.Pisot 13（1959/60），第3期，第6页（1961年）。MSC公司：05年3月 65年第68季度 PDF格式BibTeX公司 XML格式 全文： Numdam编号
Aĭzerman，M.A。;洛杉矶古塞夫。;洛桑诺埃。;斯米尔诺娃，I.M。;塔尔，A.A。 有限自动机递归事件可表示性识别问题的算法不可解性。 （英语。俄文原件） Zbl 0112.35702号 自动。远程控制 22, 646-652 (1961); Avtom翻译。Telemekh公司。22, 748-755 (1961). 审核人：J.R.Büchi先生 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Aĭzerman}等人，汽车。遥控器22，646--652（1961；Zbl 0112.35702）；Avtom翻译。Telemekh公司。22, 748--755 (1961) 全文： MNR公司
罗马人雅各布森（编辑） [W.V.奎因。;希拉里·普特南;诺姆·乔姆斯基;嗨，亨利;莫里斯·哈雷;汉斯·赫兹伯格;Victor H.Yngve。;戈登·彼得森（Gordon E.Peterson）。;弗兰克·哈雷;曼德尔布罗特，本诺特;罗马人雅各布森;约阿希姆·兰贝克;罗伯特·阿伯纳西;尼尔森·古德曼;任超;艾登，默里;安东尼·奥廷格。;H.A.jun格里森。;查尔斯·霍克特。;威尔斯，鲁伦] 语言的结构及其数学方面。 （英语） Zbl 0111.16102号 应用数学专题讨论会论文集第12卷。普罗维登斯：美国数学学会（AMS）。vi，第279页（1961年）。 审核人：S.马库斯 MSC公司：68-06 03-06 65年第68季度 68T50型 03B65号 00B25型 PDF格式BibTeX公司 XML格式
劳伦·多伊尔（Lauren B.Doyle）。 文学搜索者的语义路线图。 （英语） Zbl 0111.16101号 J.协会计算。机器。 8, 553-578 (1961). 审核人：H.施奈尔 MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.B.Doyle}，J.协会计算。马赫。8553-578（1961年；Zbl 0111.16101） 全文： 内政部
Rózsa佩特 Programmierengssprache“ALGOL 60”中的Primitive-rekursive Wortbeziehungen。 （德语） 兹伯利0109.35203 出版物。数学。仪表悬挂。阿卡德。科学。，序列号。A类 6, 137-144 (1961).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Péter}，出版。数学。仪表悬挂。阿卡德。科学。，序列号。A 6137--144（1961年；Zbl 0109.35203）
Bar-Hillel，Y。;佩尔斯，M。;沙米尔，E。 简单短语结构语法的形式属性。 （英语） Zbl 0106.34501号 Z.Phonetik Sprachwiss公司。Kommunikationsforsch公司。 14, 143-172 (1961). 审核人：H.施奈尔 MSC公司：68T50型 91层20 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bar-Hillel}等人，Z.Phonetik Sprachwiss。Kommunikationsforsch公司。14、143--172（1961年；Zbl 0106.34501）
李，C.Y。 按（W）-机器程序对自动机进行分类。 （英语） Zbl 0104.35703号 J.协会计算。机器。 8, 384-399 (1961). 审核人：J.C.谢泼德森 MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Y.Lee}，J.协会计算。马赫。8384-399（1961年；Zbl 0104.35703） 全文： 内政部
Aĭzerman，M.A。;洛杉矶古塞夫。;洛桑诺埃。;斯米尔诺娃，I.M。;塔尔，A.A。 关于实现循环性质由输入状态变化决定的有限自动机的方法。 （英语。俄文原件） Zbl 0096.33104号 自动。远程控制 21, 1126-1143 (1961); Avtom翻译。Telemekh公司。21, 1576-1594 (1960).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Aĭzerman}等人，汽车。遥控器21，1126--1143（1961；Zbl 0096.33104）；Avtom翻译。Telemekh公司。1576年21日至1594年（1960年）