• DML-CZ Home

03D05 Automata and formal grammars in connection with logical questions (11 articles)

• Sun, Ping; Zhang, Lijun; Zhang, Kuize: Reconstructibility of Boolean control networks with time delays in states. (English). Kybernetika, vol. 54 (2018), issue 5, pp. 1091-1104
• Bělohlávek, Radim: Algebra grammars. (English). Acta Mathematica et Informatica Universitatis Ostraviensis, vol. 3 (1995), issue 1, pp. 73-(76)
• Semenov, Alexei L.: A simple detailed proof for Goedel's incompleteness theorem. (English). Kybernetika, vol. 24 (1988), issue 6, pp. 447-451
• Růžička, Milan: Some fundamental notions of large variable systems. (English). Kybernetika, vol. 17 (1981), issue 5, pp. 435-450
• Starke, Peter H.: Closedness properties and decision problems for finite multi-tape automata. (English). Kybernetika, vol. 12 (1976), issue 2, pp. (61)-75
• Benda, Václav; Bendová, Kamila: Recognizable filters and ideals. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 17 (1976), issue 2, pp. 251-259
• Kramosil, Ivan: A probabilistic approach to automaton-environment systems. (English). Kybernetika, vol. 11 (1975), issue 3, pp. (173)-206
• Chytil, Michal P.: On changes of input/output coding. II. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 15 (1974), issue 1, pp. 1-17
• Chytil, Michal P.: On changes of input/output coding. I. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 14 (1973), issue 4, pp. 623-645
• Nekvinda, Miloslav: On the complexity of events recognizable in real time. (English). Kybernetika, vol. 9 (1973), issue 1, pp. (1)-10
• Pužman, Josef: Syntéza a minimalizace regulárních lineárních generátorů. (Czech) [Synthesis and minimization of regular linear generators]. Kybernetika, vol. 3 (1967), issue 2, pp. (127)-146