Result Details

Formal Languages and Computation

MEDUNA, A. Formal Languages and Computation. Taylor and Francis. Taylor and Francis. New York: Taylor & Francis Informa plc, 2014. 315 p. ISBN: 978-1-4665-1345-7.
Type
book
Language
English
Authors
Meduna Alexandr, prof. RNDr., CSc., DIFS (FIT)
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

Published
2014
Pages
315
Series
Taylor and Francis
ISBN
978-1-4665-1345-7
Publisher
Taylor & Francis Informa plc
Place
New York
DOI
10.1201/b16376
EID Scopus
2-s2.0-85054252725
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"
}
Projects
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
V3C - Visual Computing Competence Center, TAČR, Centra kompetence, TE01020415, start: 2012-05-01, end: 2019-12-31, completed
Research groups
Formal Model Research Group (RG FM)
Departments
Department of Information Systems (DIFS)
Back to top