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

Týden 12: rekursivní a rekursivně spočetné (r.e.) jazyky, vztah TM a jazyků typu 0, lineárně ohraničené automaty (LBA), vztah LBA a jazyků typu 1

Samostudium

Nastudujte si prosím ze skript podkapitoly 4.4 až 4.6 včetně, tedy strany 120-128.

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 ze 17.4.2019 (pokračování modifikací TM, vlastnosti rekursivních a r.e. jazyků, TM a jazyky typu 0) a z 18.4.2019 (LBA a jazyky typu 1):

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

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

Cvičení

Cvičení proběhlo formou telekonference ve čtvrtek 7.5.2020 od 14:00, k dispozici je záznam:

12. cvičení

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

Domácí úkoly

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

úkol 12, příklad 1 ‒ LaTeX
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 15. 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 12, příklad 2 ‒ LaTeX
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 15. 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 12, příklad 1
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 15. 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 12, příklad 2
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 15. 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 12, příklad 1
Prosím odevzdávejte jen úkol 12, 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 12, příklad 2
Prosím odevzdávejte jen úkol 12, příklad 2. 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/reseni1201.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IB005/um/du/reseni/reseni1202.pdf

Předchozí
Následující