Detail publikace

Formal Languages and Computation

MEDUNA, A.

Originální název

Formal Languages and Computation

Anglický název

Formal Languages and Computation

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

Dokumenty

BibTex


@book{BUT111531,
  author="Alexandr {Meduna}",
  title="Formal Languages and Computation",
  annote="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.",
  address="Taylor & Francis Informa plc",
  chapter="111531",
  doi="10.1201/b16376",
  edition="Taylor and Francis",
  howpublished="print",
  institution="Taylor & Francis Informa plc",
  year="2014",
  month="february",
  pages="0--0",
  publisher="Taylor & Francis Informa plc",
  type="book"
}