Matematické základy teorie formálních jazyků

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.