Publication Details
Formal Languages and Computation
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.
@book{BUT111531,
author="Alexandr {Meduna}",
title="Formal Languages and Computation",
year="2014",
publisher="Taylor & Francis Informa plc",
address="New York",
series="Taylor and Francis",
pages="315",
doi="10.1201/b16376",
isbn="978-1-4665-1345-7"
}