Prof. RNDr. Alexander Meduna, CSc.

MEDUNA Alexander. Formal Languages and Computation. New York: Taylor & Francis Informa plc, 2014. ISBN 978-1-4665-1345-7.
Publication language:english
Original title:Formal Languages and Computation
Title (cs):Formální jazyky a výpočet
Series:Taylor and Francis
Place:New York, US
Publisher:Taylor & Francis Informa plc
formal languages, grammars, automata, computation theory, decidability, computability, computational complexity, applications, language analysis, language translation
This book is intended for a one-term introductory course in formal language theory at the junior level. It maintains a balance between a theoretical and practical approach to this subject. From a theoretical viewpoint, it introduces rudimental formal-language-defining models. Based on these models, it demonstrates the concepts, methods, and techniques for formal languages with enough rigor to make them clear and valid. It also sketches the mathematical foundations of computation and related topics, such as computational complexity. Simultaneously, however, from a practical point of view, this book describes how to apply the language models in the techniques concerning the analysis of languages.
   author = {Alexander Meduna},
   title = {Formal Languages and Computation},
   pages = {315},
   series = {Taylor and Francis},
   year = {2014},
   location = {New York, US},
   publisher = {Taylor \& Francis Informa plc},
   ISBN = {978-1-4665-1345-7},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]