© 2017

Modern Language Models and Computation

Theory with Applications


Table of contents

  1. Front Matter
    Pages i-xix
  2. Part I

    1. Front Matter
      Pages 1-1
    2. Alexander Meduna, Ondřej Soukup
      Pages 3-12
    3. Alexander Meduna, Ondřej Soukup
      Pages 13-53
  3. Part II

    1. Front Matter
      Pages 55-55
    2. Alexander Meduna, Ondřej Soukup
      Pages 57-164
    3. Alexander Meduna, Ondřej Soukup
      Pages 165-255
    4. Alexander Meduna, Ondřej Soukup
      Pages 257-306
    5. Alexander Meduna, Ondřej Soukup
      Pages 307-315
  4. Part III

    1. Front Matter
      Pages 317-317
    2. Alexander Meduna, Ondřej Soukup
      Pages 319-372
    3. Alexander Meduna, Ondřej Soukup
      Pages 373-392
    4. Alexander Meduna, Ondřej Soukup
      Pages 393-406
    5. Alexander Meduna, Ondřej Soukup
      Pages 407-422
  5. Part IV

    1. Front Matter
      Pages 423-423
    2. Alexander Meduna, Ondřej Soukup
      Pages 425-431
    3. Alexander Meduna, Ondřej Soukup
      Pages 433-464
  6. Part V

    1. Front Matter
      Pages 465-465
    2. Alexander Meduna, Ondřej Soukup
      Pages 467-473
    3. Alexander Meduna, Ondřej Soukup
      Pages 475-494

About this book


This textbook gives a systematized and compact summary, providing the most essential types of modern models for languages and computation together with their properties and applications. Most of these models properly reflect and formalize current computational methods, based on parallelism, distribution and cooperation covered in this book. As a result, it allows the user to develop, study, and improve these methods very effectively.

This textbook also represents the first systematic treatment of modern language models for computation. It covers all essential theoretical topics concerning them. From a practical viewpoint, it describes various concepts, methods, algorithms, techniques, and software units based upon these models. Based upon them, it describes several applications in biology, linguistics, and computer science.

Advanced-level students studying computer science, mathematics, linguistics and biology will find this textbook a valuable resource. Theoreticians, practitioners and researchers working in today’s theory of computation and its applications will also find this book essential as a reference.


Formal language theory Language theory with applications Modern language models Grammars and automata Parallel computation Basic language models--grammars and automata Languages generated by grammars Languages recognized by automata Modern language models New grammars and automata Language models for discontinuous computation Language models for parallel computation Language models that combine automata and languages Language models for computational cooperation & distribution Structural transformations of models Economic description of models Realistic applications in biology linguistics & computer science Application perspectives Expected future development

Authors and affiliations

  1. 1.Department of Computer ScienceBrno University of TechnologyBrnoCzech Republic
  2. 2.Department of Information TechnologyBrno University of TechnologyBrnoCzech Republic

About the authors

Alexander Meduna, Full Professor of Computer Science at the Brno University of Technology, received his PhD from this university in 1988. He has taught mathematics and computer science at various European, Asian, and American universities, including the University of Missouri, where he spent a decade teaching advanced topics of the formal language theory and its applications in computer science. He is the author of the books entitled Automata and Languages (Springer, 2000), Elements of Compiler Design (Taylor and Francis, 2008), and Formal Languages and ComputationModels and Their Applications (CRC Press, 2014) . Along with his former PhD students, he is also the co-author of Grammars with Context Conditions and Their Applications (co-authored by M. Švec, Wiley, 2005), Scattered Context Grammars and Their Applications (co-authored by J. Techet, WIT Press, 2010), and Regulated Grammars and Automata (co-authored by P. Zemek, Springer, 2014).  He has published over ninety  papers closely related to the subject of this book.

Ondřej Soukup received his PhD from the Brno University of Technology in 2017 under the supervision of Alexander Meduna.  He has published several studies on modern language models in such distinguished computer science journals as Fundamenta Informatica, International Journal of Foundations of Computer Science, and Theoretical Computer Science.

Bibliographic information


“The book can … be fruitfully used by a broad variety of scientists, from researchers working on related theoretical disciplines (mathematicians, computer scientists) to researchers working on various applications (e.g., linguists, engineers, biologists).” (Benedek Nagy, Mathematical Reviews, June, 2020)

“The book provides a concise theoretical treatment of a selection of advanced string-grammar formalisms used particularly in formal language theory. … This research monograph can serve as an excellent reference for non-standard grammar formalisms with a strong focus on regulation. All relevant results are presented in full detail and proper references are provided to the original literature. The mentioned applications serve as motivation, but the main emphasis is clearly on the exposition of the theoretical results.” (Andreas Maletti, zbMATH 1385.68002, 2018)