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.

fotoskupiny2021
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 00 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 00 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

Kompletní výpis publikací ...