Výzkumná skupina formálních modelů
Skupina formálních modelů se soustředí na výzkum formálních jazyků a jejich modelů, zejména automatů, gramatik a systémů, které jsou na nich založeny. Zásadní pozornost je věnována studiu řízení těchto formálních systémů tak, aby výsledné modely optimálně postihovaly jazykové kontextové závislosti. Skupina rovněž diskutuje aplikace zkoumaných modelů v různých oblastech informatiky, jako např. kompilátorech a bioinformatice.Témata výzkumu
- teoretické základy informačních systémů
- formální jazyky a jejich modely
- specifikace a překlad jazyků
- aplikace formálních modelů
Akce, SeminářeDůležité publikace
- 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 Jiří: Scattered Context Grammars and their Applications, WIT Press, UK, GB, WIT, 2010, s. 199, ISBN 978-1-84564-426-0
- Meduna Alexander: Elements of Compiler Design, New York, US, Taylor & Francis, 2008, s. 304, ISBN 978-1-4200-6323-3
- Kopeček, T., Meduna, A.: Conditional Grammars and Their Reduction, Brno, CZ, FIT VUT, 2008, s. 138, ISBN 978-80-214-3750-0
- Křivka Zbyněk: Rewriting Systems with Restricted Configurations, Brno, CZ, FIT VUT, 2008, s. 131, ISBN 978-80-214-3722-7
- Meduna Alexander, Švec Martin: Grammars with Context Conditions and Their Applications, Wiley, New York, US, WILEY, 2005, s. 225, ISBN 0-471-71831-9
- Meduna Alexander: Automata and Languages: Theory and Applications, London, GB, Springer, 2000, s. 892, ISBN 1-85233-074-0
KontaktVysoké učení technické v Brně
Fakulta informačních technologií
Ústav informačních systémů
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)