====== Handbook of Mathematical Models for Languages and Computation ======
|Authors:|**[[#authors|Alexander Meduna]]**, **[[#authors|Petr Horáček]]** and [[#authors|Martin Tomko]]|
|Title:|//Handbook of Mathematical Models for Languages and Computation//|
|Publisher:|[[https://www.theiet.org/publishing/|The Institution of Engineering and Technology]], Stevenage, UK|
|eISBN:|978-1-78561-660-0|
|ISBN:|978-1-78561-659-4|
|Publication Date:|01 Dec 2019|
|Details:|Hardback cover, 400 pages|

===== Authors =====

{{ :lectures:books:rga_photo_am.jpg?nolink|Alexander Meduna}}**Alexander Meduna** is Full Professor of Computer Science at the [[http://www.fit.vutbr.cz/.en|Brno University of Technology]], Czech Republic. He has taught mathematics and computer science at various European, Asian, and American universities, including the University of Missouri, USA, where he spent a decade teaching advanced topics of the formal language theory and its applications in computer science. He is the author of several [[books|books]] and [[vita:vita|many papers]] on the topic. 

  * [[vita:vita|Vita]]
  * [[http://www.fit.vutbr.cz/~meduna/work|Scientific Work]]
  * [[http://www.fit.vutbr.cz/~meduna|University Website]]

----
{{ :lectures:books:hmmlc_photo_ph.jpg?nolink|Petr Horáček}}**Petr Horacek** works as a software engineer in research and development for BioVendor - Laboratorni medicina a.s. (a laboratory for automation and diagnostic devices) in Brno, Czech Republic. Under the supervision of Alexander Meduna, he received his PhD from the [[http://www.fit.vutbr.cz/.en|Brno University of Technology]], Czech Republic, in 2015.

  * [[http://www.fit.vutbr.cz/~ihoracekp/pubs.php.en|Scientific Work]]
  * [[http://www.fit.vutbr.cz/~ihoracekp/index.php.en|University Website]]

----
{{ :lectures:books:hmmlc_photo_mt.jpg?nolink|Martin Tomko}}**Martin Tomko** is a PhD Student supervised by Alexander Meduna at the Faculty of Information Technology, [[http://www.fit.vutbr.cz/.en|Brno University of Technology]], Czech Republic.

  * [[http://www.fit.vutbr.cz/~itomko/index.php.en|University Website]]


===== Book =====

==== About this book ====
{{ :lectures:books:hmmlc_book_cover.jpg?nolink&150|}}The theory of computation is used to address challenges arising in many computer science areas such as artificial intelligence, language processors, compiler writing, information and coding systems, programming language design, computer architecture and more. To grasp topics concerning this theory readers need to familiarize themselves with its computational and language models, based on concepts of discrete mathematics including sets, relations, functions, graphs and logic.


This handbook introduces with rigor the important concepts of this kind and uses them to cover the most important mathematical models for languages and computation, such as various classical as well as modern automata and grammars. It explains their use in such crucially significant topics of computation theory as computability, decidability, and computational complexity. The authors pay special attention to the implementation of all these mathematical concepts and models and explains clearly how to encode them in computational practice. All computer programs are written in C#.

===== Errata =====

There are no bug reports yet.

===== IET Website =====

To buy the book, [[https://shop.theiet.org/handbook-of-mathematical-models-for-languages-and-computation|visit this website]] or [[https://www.amazon.com/Handbook-Mathematical-Models-Languages-Computation/dp/1785616595|Amazon website]]