Výzkumná skupina formálních modelů
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.
Foto skupiny z roku 2021 (zleva: Dušan Kolář, Radim Kocman, Dominika Klobučníková, Alexandr Meduna, Zbyněk Křivka, Dominika Regéciová, Martin Tomko, Tomáš Kožár)
Výzkumná témata
- teoretické základy informačních systémů
- formální jazyky a jejich modely
- specifikace a překlad jazyků
- aplikace formálních modelů
- reverzní inženýrství a dekompilace
Aktuální zaměření výzkumu
Skupina se zaměřuje na základní výzkum v oblasti formálních jazyků a překladačů. U formálních jazyků studujeme především výpočetní sílu různých řízených modelů (např. rozptýlených gramatik) či celých skupin modelů (např. gramatických systémů). Dalším okruhem zájmu jsou modely pro popis rozptýlené informace jako skákající automaty a gramatiky.
Z praktičtějších oblasti se zabýváme automatizací syntaktické a sémantické analýzy v překladačích.
Významné výsledky
- Meduna Alexander, Kožár Tomáš: Automata: Theory, Trends, and Applications, World Scientific Publishing Company, 2023, ISBN: 978-9811278129
- Meduna Alexander, Křivka Zbyněk: Jumping Computation Updating Automata and Grammars for Discontinuous Information Processing, CRC Press, 2024, ISBN 9780367634797
- Meduna Alexander, Horáček Petr, Tomko Martin: Handbook of Mathematical Models for Languages and Computation. Stevenage, United Kingdom: The Institution of Engineering and Technology, 2020. ISBN 978-1-78561-659-4
- Meduna Alexander, Soukup Ondřej: Modern Language Models and Computation: Theory with Applications. New York: Springer US, 2017. ISBN 978-3-319-63099-1
- Meduna Alexander, Zemek Petr: Regulated Grammars and Automata, New York, US, Springer, 2014, s. 694, ISBN 978-1-4939-0368-9
- Meduna Alexander: Formal Languages and Computation, New York, US, Taylor & Francis, 2014, s. 315, ISBN 978-1-4665-1345-7
- Meduna Alexander, Zemek Petr: Jumping Finite Automata. International Journal of Foundations of Computer Science. 2012, 23(7), ISSN 0129-0541
- 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
- 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
Spolupráce
Členové skupiny mohou nabídnout expertízu ohledně návrhu, popisu a zpracování strojových a matematicky orientovaných jazyků (včetně programovacích a doménově specifických).
Aktuální spolupráce:
- Část týmu pod vedením doc. Koláře spolupracuje s firmou Avast (dříve AVG) na výzkumu v oblasti reverzního inženýrství a dekompilace
Akce, Semináře
- Všichni zájemci o teoretickou informatiku a nejen o ni jsou srdečně zváni na seminář naší výzkumné skupiny.
- Na webu mezinárodního časopisu IJFCS v období 2016/2017 patřil článek "Meduna, A., Soukup, O.: Simple Matrix Grammars and Their Leftmost Variants" mezi nejčtenější a článek "Meduna, A., Zemek, P.: Jumping Finite Automata" mezi nejcitovanější.
- 3. 12. 2012 obdržel Prof. Meduna čestné uznání při vyhlašování Ceny Siemens v kategorii "nejlepší pedagogický pracovník".
Kontakty
Vysoké učení technické v Brně
Fakulta informačních technologií
Ústav informačních systémů
Božetěchova 2
612 66 Brno, Czech Republic
Tel.: +420 54114-1232
E-mail: meduna@fit.vutbr.cz
Informace
prof. Alexander Meduna
Vysoké učení technické v Brně
Fakulta informačních technologií
Výzkumná skupina formálních modelů
Božetěchova 2
612 66 Brno, Czech Republic
Tel.: +420 54114-1232
E-mail: meduna@fit.vutbr.cz
Důležité publikace
- Meduna Alexander, Horáček Petr, Tomko Martin: Handbook of Mathematical Models for Languages and Computation. Stevenage, United Kingdom: The Institution of Engineering and Technology, 2020. ISBN 978-1-78561-659-4
- Meduna Alexander, Soukup Ondřej: Modern Language Models and Computation: Theory with Applications. New York: Springer US, 2017. ISBN 978-3-319-63099-1
- Meduna Alexander, Zemek Petr: Regulated Grammars and Automata, New York, US, Springer, 2014, s. 694, ISBN 978-1-4939-0368-9
- Meduna Alexander: Formal Languages and Computation, New York, US, Taylor & Francis, 2014, s. 315, ISBN 978-1-4665-1345-7
- Meduna Alexander, Zemek Petr: Jumping Finite Automata. International Journal of Foundations of Computer Science. 2012, 23(7), ISSN 0129-0541
- 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
- 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