• DML-CZ Home

03D10 Turing machines and related notions (13 articles)

• Tesař, Radek; Křivka, Zbyněk; Meduna, Alexander: Alan Mathison Turing – život a dílo. (Czech) [Alan Mathison Turing – Life and Work]. Pokroky matematiky, fyziky a astronomie, vol. 59 (2014), issue 2, pp. 89-104
• Güttner, Jakub: Může stroj myslet? (Hypotetická debata L. Wittgensteina, A. Turinga a A. Churche). (Czech) [Can a machine think? (A hypothetical debate of L. Wittgenstein, A. Turing]. Pokroky matematiky, fyziky a astronomie, vol. 48 (2003), issue 2, pp. 105-114
• Baer, Robert M.: E. T. a infinitární Churchova teze. (Czech) [ET and infinitary Church's thesis]. Pokroky matematiky, fyziky a astronomie, vol. 41 (1996), issue 2, pp. 82-89
• Bebják, Andrej; Štefáneková, Ivana: Nondeterminism is essential for reversal-bounded two-way multihead finite automata. (English). Kybernetika, vol. 24 (1988), issue 1, pp. 65-71
• Šebelík, Jan: Horn clause programs and recursive functions defined by systems of equations. (English). Kybernetika, vol. 18 (1982), issue 2, pp. 106-120
• Žák, Stanislav: A Turing machine oracle hierarchy. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 1, pp. 11-26
• Žák, Stanislav: A Turing machine oracle hierarchy. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 21 (1980), issue 1, pp. 27-39
• Žák, Stanislav: A Turing machine space hierarchy. (English). Kybernetika, vol. 15 (1979), issue 2, pp. (100)-121
• Chytil, Michal P.: Crossing-bounded computations and their relation to the LBA-problem. (English). Kybernetika, vol. 12 (1976), issue 2, pp. (76)-85
• Čulík, Karel: A note on comparison of Turing machines with computers. (English). Časopis pro pěstování matematiky, vol. 100 (1975), issue 2, pp. 118-128
• Pudlák, Pavel: The observational predicate calculus and complexity of computations (Preliminary communication). (English). Commentationes Mathematicae Universitatis Carolinae, vol. 16 (1975), issue 2, pp. 395-398
• Nekvinda, Miloslav: On a certain event recognizable in real time. (English). Kybernetika, vol. 8 (1972), issue 2, pp. (149)-153
• Hanák, Jan: On real-time Turing machines. (English). Archivum Mathematicum, vol. 2 (1966), issue 2, pp. 79-92