Formální jazyky a automaty – pokyny k samostudiu, domácí úkoly a online cvičení

Týden 13: Nerozhodnutelnost

Samostudium

Nastudujte si prosím ze skript kapitolu 5, tedy strany 129-153.

skripta k IB005
verze z února 2014 s některými opravenými překlepy

K dispozici jsou záznamy loňských přednáškek IB005 z 24.4.2019 (podkapitoly 5.1-5.5) a z 25.4.2019 (podkapitoly 5.6-5.7). Záznam posledně jmenované přednášky bohužel neobsahuje začátek přednášky, proto je navíc k dispozici i záznam odpovídající přednášky ze semestru jaro 2018  z  25.4.2018 (relevantní pasáž začíná v čase 01:14:30 od začátku této
přednášky).

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IB005/um/vi_js2019/90317867/
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IB005/um/vi_js2019/90317868/

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IB005/um/vi/78553425/

Látka bohužel není vhodně pokryta přednáškami IB102.

Cvičení

Democvičení na téma "redukce" proběhlo formou telekonference ve čtvrtek 14.5.2020 od 14:00, k dispozici je záznam:

Democvičení – redukce

Tabuli popsanou během democvičení si můžete .

Domácí úkoly

Dva domácí úkoly, až 0,5 tvrdého a 0,5 měkkého bodu dohromady. Toto je poslední domácí úkol.

úkol 13, příklad 1 ‒ LaTeX
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 22. 5. 2020 12:00 fyzicky do schránky před D1 nebo elektronicky ve formátu .pdf do příslušné odevzdávárny. Papír nesmí být přeložený či jinak poškozený a musí být vyplněná hlavička, i elektronicky odevzdané verze se budou tisknout a následně skenovat. Pro tvorbu řešení můžete přímo upravit .tex se zadáním (k nalezení v této složce) + potřebujete styl fja.cls rovněž zde, můžete použít přiložený návod na sazbu.
úkol 13, příklad 2 ‒ LaTeX
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 22. 5. 2020 12:00 fyzicky do schránky před D1 nebo elektronicky ve formátu .pdf do příslušné odevzdávárny. Papír nesmí být přeložený či jinak poškozený a musí být vyplněná hlavička, i elektronicky odevzdané verze se budou tisknout a následně skenovat. Pro tvorbu řešení můžete přímo upravit .tex se zadáním (k nalezení v této složce) + potřebujete styl fja.cls rovněž zde, můžete použít přiložený návod na sazbu.
úkol 13, příklad 1
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 22. 5. 2020 12:00 fyzicky do schránky před D1 nebo elektronicky ve formátu .pdf do příslušné odevzdávárny. Papír nesmí být přeložený či jinak poškozený a musí být vyplněná hlavička, i elektronicky odevzdané verze se budou tisknout a následně skenovat. Pro tvorbu řešení můžete přímo upravit .tex se zadáním (k nalezení v této složce) + potřebujete styl fja.cls rovněž zde, můžete použít přiložený návod na sazbu.
úkol 13, příklad 2
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 22. 5. 2020 12:00 fyzicky do schránky před D1 nebo elektronicky ve formátu .pdf do příslušné odevzdávárny. Papír nesmí být přeložený či jinak poškozený a musí být vyplněná hlavička, i elektronicky odevzdané verze se budou tisknout a následně skenovat. Pro tvorbu řešení můžete přímo upravit .tex se zadáním (k nalezení v této složce) + potřebujete styl fja.cls rovněž zde, můžete použít přiložený návod na sazbu.

Odevzdávárny

Odevzdávárna DÚ: úkol 13, příklad 1
Prosím odevzdávejte jen úkol 13, příklad 1. Odevzdávejte ve formátech a kvalitě specifikované v interaktivní osnově, odevzdání musí být podepsané (tedy se jménem uvnitř dokumentu).
Odevzdávárna DÚ: úkol 13, příklad 2
Prosím odevzdávejte jen úkol 13, příklad 1. Odevzdávejte ve formátech a kvalitě specifikované v interaktivní osnově, odevzdání musí být podepsané (tedy se jménem uvnitř dokumentu).

Řešení

Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IB005/um/du/reseni/reseni1301.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IB005/um/du/reseni/reseni1302.pdf

Předchozí
Následující