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.