| Název předmětu | Formální jazyky a automaty |
|---|---|
| Kód předmětu | KMI/FJ |
| Organizační forma výuky | Přednáška + Cvičení |
| Úroveň předmětu | Bakalářský |
| Rok studia | nespecifikován |
| Semestr | Letní |
| Počet ECTS kreditů | 6 |
| Vyučovací jazyk | Čeština |
| Statut předmětu | Povinný, Povinně-volitelný |
| Způsob výuky | Kontaktní |
| Studijní praxe | Nejedná se o pracovní stáž |
| Doporučené volitelné součásti programu | Není |
| Vyučující |
|---|
|
| Obsah předmětu |
|
Základní pojmy: formální jazyky, hierarchie gramatik a jazyků. Konečné automaty: konečné deterministické a nedeterministické automaty, jejich rozšíření, varianty a aplikace. Regulární gramatiky a jazyky: vztah ke konečným automatům, uzávěrové vlastnosti regulárních jazyků, kritéria regularity, minimalizace konečných automatů. Regulární výrazy a jejich aplikace: standardní regulární výrazy, rozšířené regulární výrazy, aplikace pro vyhledávání v textu, vybrané problémy. Bezkontextové jazyky: popis a vlastnosti, derivační stromy, vlastnosti bezkontextových jazyků a vztah k regulárním jazykům. Zásobníkové automaty: varianty, vztah k bezkontextovým jazykům, syntaktická analýza shora-dolů a zdola-nahoru, deterministické zásobníkové automaty.
|
| Studijní aktivity a metody výuky |
Přednášení, Demonstrace
|
| Výstupy z učení |
|
Studenti se seznámí se základními pojmy z formálních jazyků.
1. Znalost Popiš základní generativní a analytické formalismy pro jazyky. |
| Předpoklady |
|
nespecifikováno
|
| Hodnoticí metody a kritéria |
|
Ústní zkouška, Písemná zkouška
Aktivní účast v hodině. Plnění zadaných úkolů. Složení ústní (příp. písemné) zkoušky. |
| Doporučená literatura |
|
| Studijní plány, ve kterých se předmět nachází |
| Fakulta | Studijní plán (Verze) | Kategorie studijního oboru/specializace | Doporučený semestr | |
|---|---|---|---|---|
| Fakulta: Přírodovědecká fakulta | Studijní plán (Verze): Bioinformatika (2021) | Kategorie: Informatické obory | 2 | Doporučený ročník:2, Doporučený semestr: Letní |
| Fakulta: Přírodovědecká fakulta | Studijní plán (Verze): Matematika (2026) | Kategorie: Matematické obory | 1 | Doporučený ročník:1, Doporučený semestr: Letní |
| Fakulta: Přírodovědecká fakulta | Studijní plán (Verze): Informatika pro vzdělávání maior (2024) | Kategorie: Informatické obory | 2 | Doporučený ročník:2, Doporučený semestr: Letní |
| Fakulta: Přírodovědecká fakulta | Studijní plán (Verze): Informatika (2020) | Kategorie: Informatické obory | 2 | Doporučený ročník:2, Doporučený semestr: Letní |
| Fakulta: Přírodovědecká fakulta | Studijní plán (Verze): Informatika - specializace Programování a vývoj software (2021) | Kategorie: Informatické obory | 2 | Doporučený ročník:2, Doporučený semestr: Letní |
| Fakulta: Přírodovědecká fakulta | Studijní plán (Verze): Informatika - specializace Obecná informatika (2021) | Kategorie: Informatické obory | 2 | Doporučený ročník:2, Doporučený semestr: Letní |