Formal Model Research Group
This group discusses formal languages and their models, such as automata, grammars and systems based upon them. It pays a special attention to the regulation of these models so they capture various context dependencies in a clear and precise way. The group also studies how to apply the formal models under investigation in various computer science areas, such as compilers any bioinformatics.Research interests
- Theoretical Basis of Information Systems
- Formal Languages and Their Models
- Specification and Translation of Languages
- Applications of Formal Models
Important publications
- Meduna Alexander, Zemek Petr: Regulated Grammars and Their Transformations, Brno, CZ, FIT VUT, 2011 (in press)
- Meduna Alexander, Zemek Petr: One-Sided Random Context Grammars, Acta Informatica, 2011 (in press)
- Meduna Alexander, Techet Jirí: Scattered Context Grammars and their Applications, WIT Press, UK, GB, WIT, 2010, 199 p., ISBN 978-1-84564-426-0
- Meduna Alexander: Elements of Compiler Design, New York, US, Taylor & Francis, 2008, 304 p., ISBN 978-1-4200-6323-3
- Krivka Zbynek: Rewriting Systems with Restricted Configurations, Brno, CZ, FIT VUT, 2008, 131 p., ISBN 978-80-214-3722-7
- Kopecek, T., Meduna, A.: Conditional Grammars and Their Reduction, Brno, CZ, FIT VUT, 2008, 138 p., ISBN 978-80-214-3750-0
- Meduna Alexander, Svec Martin: Grammars with Context Conditions and Their Applications, Wiley, New York, US, WILEY, 2005, 1-225 p., ISBN 0-471-71831-9
- Meduna Alexander: Automata and Languages: Theory and Applications, London, GB, Springer, 2000, 892 p., ISBN 1-85233-074-0
ContactBrno University of Technology
Faculty of Information Technology
Department of Information Systems
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)