Result Details

Regulated Grammars and Automata

MEDUNA, A.; ZEMEK, P. Regulated Grammars and Automata. New York: Springer US, 2014. 694 p. ISBN: 978-1-4939-0368-9.
Type
book
Language
English
Authors
Meduna Alexandr, prof. RNDr., CSc., DIFS (FIT)
Zemek Petr, Ing., Ph.D., DIFS (FIT)
Abstract

This book offers key theoretical topics and terminology concerning regulated grammars and automata. They are the most important language-defining devices that work under controls represented by additional mathematical mechanisms. Key topics include formal language theory, grammatical regulation, grammar systems, erasing rules, parallelism, word monoids, regulated and unregulated automata and control languages. The book explores how the information utilized in computer science is most often represented by formal languages defined by appropriate formal devices. It provides both algorithms and a variety of real-world applications, allowing readers to understand both theoretical concepts and fundamentals. There is a special focus on applications to scientific fields including biology, linguistics and informatics. This book concludes with case studies and future trends for the field. Regulated Grammars and Automata is designed as a reference for researchers and professionals working in computer science and mathematics who deal with language processors. Advanced-level students in computer science and mathematics will also find this book a valuable resource as a secondary textbook or reference.

Keywords

formal language theory, grammatical regulation, grammar systems, erasing rules, parallelism, word monoids, regulated and unregulated automata and control languages

URL
Published
2014
Pages
694
ISBN
978-1-4939-0368-9
Publisher
Springer US
Place
New York
DOI
10.1007/978-1-4939-0369-6
EID Scopus
2-s2.0-84955066234
BibTeX 
@book{BUT111518,
  author="Alexandr {Meduna} and Petr {Zemek}",
  title="Regulated Grammars and Automata",
  year="2014",
  publisher="Springer US",
  address="New York",
  pages="694",
  doi="10.1007/978-1-4939-0369-6",
  isbn="978-1-4939-0368-9",
  url="http://www.springer.com/computer/theoretical+computer+science/book/978-1-4939-0368-9"
}
Projects
Advanced recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-11-2, start: 2011-01-01, end: 2013-12-31, completed
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
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
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