Publication:5529474

zbMath0151.00805MaRDI QIDQ5529474

L. I. Rozonoèr, L. A. Gusev, I. M. Smirnova, M. A. Aĭzerman, A. A. Tal'

Publication date: 1967

zbMATH Keywords

algorithms; Turing machines; automata; mathematical logic; sequential machines

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

68-02: Research exposition (monographs, survey articles) pertaining to computer science