Kapitoly z teorie formálních jazyků I

UI/N3028

vyučován v zimním semestru | časová náročnost je 2 hodiny přednášek týdně | lze za něj získat 4 kredity

předmět není podmíněn absolvováním jiného předmětu

přednáší doc. RNDr. Alice Kelemenová CSc.

náročnost: | užitečnost: | zábavnost:

Průběh v jednotlivých letech

Semestr je věnován Lindenmayerovým systémům a svým způsobem se navazuje na znalosti teorie jazyků a automatů. Během semestru se proberou 0L systémy a interaktivní systémy, řeší se jejich začlenění do Chomského hierarchie, uzávěrové vlastnosti generovaných jazyků, končí se růstovou funkcí.

Zkouška je písemná a prověřuje znalosti teorie a důkazy probíraných vět.

Přínos předmětu

Rozšiřuje se povědomí o formálních jazycích způsobem, který více odpovídá tomu, jak probíhá generování a růst v přírodě. Zároveň se jedná o jeden z předmětů ke státnicím.

Materiály

základní

soubor řešených příkladů

25.ledna 2016, 09:36

soubor řešených příkladů ke stažení

553.48 KB

vytvořené

důkazy tvrzení

19.února 2016, 20:34

důkazy tvrzení ke stažení

690.13 KB