Publication detail

Formal Languages and Computation

MEDUNA, A.

Original Title

Formal Languages and Computation

Type

book

Language

English

Original Abstract

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.

Keywords

formal languages, grammars, automata, computation theory, decidability, computability, computational complexity, applications, language analysis, language translation

Authors

MEDUNA, A.

RIV year

2014

Released

28. 2. 2014

Publisher

Taylor & Francis Informa plc

Location

New York

ISBN

978-1-4665-1345-7

Edition

Taylor and Francis

Pages count

315

BibTex

@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"
}