Detail projektu
Matematické základy teorie formálních jazyků
Období řešení: 1. 1. 2012 - 31. 12. 2012
Typ projektu: grant
Kód: FR271/2012/G1
Agentura: Fond rozvoje vysokých škol MŠMT
Program: Fond rozvoje vysokých škol (FRVŠ)
teorie formálních jazyků, teoretická informatika, matematika
V současné době je na Fakultě informačních technologií Vysokého učení technického v Brně vyučována řada předmětů, jejichž jádro tvoří teorie formálních jazyků. V těchto předmětech však není prostor k vysvětlení matematických základů, na kterých teorie formálních jazyků, a potažmo celá teoretická informatika, stojí. Tyto základy by studentům měly dát povinné matematické prerekvizitní předměty, kterou jsou ovšem zaměřeny velice obšírně. Taktéž nevysvětlují návaznost a využití nabytých znalostí v dalších oblastech. Studenti si pak mnohdy neuvědomují fundamentální význam matematických konceptů a důležitost formálních zápisů.
Cílem tohoto projektu bylo vytvoření studijních podkladů, které studenty provedou základy matematiky v úzké návaznosti na teorii formálních jazyků. Názorně by jim měly ukázat využitelnost matematické notace a ozřejmit důvody použití rigorózních postupů. Důraz je kladen na osvětlení problematiky na příkladech a analogií z oblastí, které jsou studentům blízké (např. programovací jazyky).
Jelikož je většina literatury zabývající se formálními jazyky psána v angličtině, je naprosto nezbytné seznámit studenty s anglickou terminologií, a proto jsou výukové materiály vytvořeny v angličtině. Studenti se tak seznámí se současnou, ve světě používanou notací, což je připraví na práci ve špičkových týmech mimo Českou republiku, kde mohou být tyto znalosti požadovány.
Meduna Alexander, prof. RNDr., CSc. (UIFS FIT VUT) , spoluřešitel
Vrábel Lukáš, Ing. (UIFS FIT VUT) , spoluřešitel
- DIR ..
- pdf P01-Sets.pdf 220 KB
- pdf P02-Sequences-Relations-Functions.pdf 167 KB
- pdf P03-Finite-Automata.pdf 156 KB
- pdf P04-Closures.pdf 131 KB
- pdf P05-Statements-Proofs.pdf 165 KB
- pdf PB01-Jumping-Finite-Automata.pdf 552 KB
- pdf PB02-Nondeterminism-in-PGs.pdf 161 KB
- pdf PB03-Szilard-Languages.pdf 217 KB
- pdf PB04-Workspace-Theorems-For-rCGs.pdf 364 KB
- pdf PB05-Converting-FAs-To-REs.pdf 217 KB
- pdf PB06-Lookahead-In-Translators.pdf 179 KB
- pdf PB07-One-Sided-RCG.pdf 232 KB
2012
- VRÁBEL Lukáš. A New Normal Form for Programmed Grammars with Appearance Checking. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Vysoké učení technické v Brně, 2012, s. 420-425. ISBN 978-80-214-4462-1. Detail
- MEDUNA Alexander, VRÁBEL Lukáš a ZEMEK Petr. An Infinite Hierarchy of Language Families Resulting from Stateless Pushdown Automata with Limited Pushdown Alphabets. In: DCFS'12: 14th International Workshop on Descriptional Complexity of Formal Systems. Lecture Notes in Computer Science, roč. 7386. Braga: Springer Verlag, 2012, s. 236-243. ISBN 978-3-642-31622-7. ISSN 0302-9743. Detail
- ZEMEK Petr. Normal Forms of One-Sided Random Context Grammars. In: Proceedings of the 18th Conference STUDENT EEICT 2012 Volume 3. Brno: Vysoké učení technické v Brně, 2012, s. 430-434. ISBN 978-80-214-4462-1. Detail