Formal Languages and Computation
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F14%3APU111936" target="_blank" >RIV/00216305:26230/14:PU111936 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Formal Languages and Computation
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
B - Specialist book
CEP classification
—
OECD FORD branch
20206 - Computer hardware and architecture
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2014
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
ISBN
978-1-4665-1345-7
Number of pages
315
Publisher name
Taylor & Francis Informa plc
Place of publication
New York
UT code for WoS book
—