NTIN071 Automaty a gramatiky: cvičení (Jaro 2026)

Zde najdete informace k mým českým cvičením (Čt 15:40 v S7 / Pá 10:40 v S7).

Konzultační hodiny během výuky (v S303):

• Pondělí 10:40
• Čtvrtek 14:00

nebo individuálně po předchozí domluvě emailem. (Pokud plánujete přijít později, prosím napište.)

Konzultace během zkouškového období rozvrhujeme dle potřeby - napište mi v dostatečném předstihu své časové možnosti.

Jak získat zápočet

Podmínky získání zápočtu jsou popsané v PDF níže, prosím přečtěte, a v případě nejasností se zeptejte na cvičení.

• pozadavky-na-zapocet.pdf
• vzorovy-test.pdf

Termíny testů:

• skupina Čt: 14.5.
• skupina Pá: 22.5.
• opravné termíny: budou určeny později

Program cvičení (bude aktualizován)

1. cvičení (Čt 19.2. // Pá 20.2.)

• Program: Deterministický konečný automat, rozpoznávaný jazyk, regulární jazyky
• Materiály: cviceni1.pdf

2. cvičení (Čt 26.2. // Pá 27.2.)

• Program: Pumping lemma, Myhill-Nerodeova věta, Ekvivalentní a minimální reprezentace
• Materiály: cviceni2.pdf

3. cvičení (Čt 5.3. // Pá 6.3.)

• Program: Testování vlastností, nedeterminismus, podmnožinová konstrukce, uzavřenost na množinové operace
• Materiály: cviceni3.pdf

4. cvičení (Čt 12.3. // Pá 13.3.)

• Program: Uzavřenost na řetězcové operace
• Materiály: cviceni4.pdf

5. cvičení (Čt 19.3. // Pá 20.3.)

• Program: Regulární výrazy, dvousměrné automaty
• Materiály: cviceni5.pdf

6. cvičení (Čt 26.3. // Pá 27.3.)

• Program: Formální gramatiky, regulární a bezkontextové gramatiky
• Materiály: cviceni6.pdf

Užitečné odkazy

• Turing Machine Simulator
• Finite State Machine designer

Často kladené dotazy

• Co mám dělat, pokud mám otázku ke cvičení? – Podívejte se sem do ČKD. Pokud nenajdete odpověď, napište mi email; do předmětu zprávy, prosím, napište “ntin071” a “cvičení”.

• Co mám dělat, pokud chci konzultaci? – Domluvte se se mnou po cvičení, přijďte na rozvržené konzultační hodiny, nebo si domluvme termín konzultace emailem.