Ing.

Martin Havel

Ph.D. student


ihavelm@fit.vut.cz
C220 Office
213265/BUT personal ID

Publications

  • 2025

    HAVEL Martin, KřIVKA Zbyněk and MEDUNA Alexander. Scattered Context Grammars with One Non-Context-Free Production and Six Nonterminals Are Computationally Complete. In: Descriptional Complexity of Formal Systems. Lecture Notes in Computer Science, vol. 15759. Loughborough: Springer Verlag, 2025, pp. 123-136. ISSN 0302-9743.
    Detail

  • 2024

    HAVEL Martin, KřIVKA Zbyněk and MEDUNA Alexander. How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars. In: Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications. Göttingen: School of Computer Science and Engineering, University of New South Wales, 2024, pp. 86-99. ISSN 2075-2180.
    Detail

  • 2022

    HAVEL Martin and MEDUNA Alexander. On Elimination of Erasing Rules from E0S Grammars. Computer Science Journal of Moldova, vol. 30, no. 2, 2022, pp. 135-147. ISSN 1561-4042.
    Detail

Back to top