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

Týden 4: Myhillova-Nerodova věta, pravá kongruence

Tento týden jsou dva papírové domácí úkoly, lze získat až 0,5 tvrdého a 0,5 měkkého bodu.

Vzhledem k uzavření FI pro výuku silně doporučujeme využít elektronického odevzdání, ideálně sazby pomocí LaTeX. Nápovědu a styl pro LaTeX jsem znovu zveřejnil i v této podosnově, nezměnili se však nijak od 3. týdne (styl) respektive od začátku semestru (nápověda). Připomínám, že i pro dotazy k sazbě (které však nesmí vyzrazovat části řešení) můžete využívat diskusní fórum (pokud náhodou nemůžete dotaz zformulovat bez vyzrazování, kontaktujte mě e-mailem: xstill@fi.muni.cz). Skříňky u D1 budou i nadále vybírány. Pokud nechcete psát svá zadání na počítači, můžete je rovněž i naskenovat, či v nejhorším případě kvalitně vyfotit, oříznout a případě upravit kontrast tak, aby fotka byla čitelná a i po vytištění byly rozpoznatelné značky pro skenování.

Online cvičení

4. cvičení

4. cvičení online

Domácí úkoly

úkol 04, příklad 1 ‒ LaTeX
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 20. 3. 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 04, příklad 2 ‒ LaTeX
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 20. 3. 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.
Prázdný list pro dlouhé řešení na papír
Můžete použít pokud řešíte na papír a nemáte dostatek místa. Pokud použijete tento list, nezapomeňte správně vyplnit v hlavičce kromě vašich osobních údajů také číslo úkolu a příkladu a v rozpoznávané sekci kromě uča i číslo listu (číslujeme sekvenčně od 1, nesmíte odevzdat dva listy se stejným číslem).
úkol 04, příklad 1
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 20. 3. 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 04, příklad 2
Svá řešení odevzdávejte prosím na skenovatelném formuláři do 20. 3. 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.

fja.cls – styl k domácím úlohám
Nutný pro překlad .tex souborů. Umístěte jej do složky, ve které probíhá překlad, tedy typicky do stejné složky jako řešení. Styl by se neměl měnit v průběhu semestru.
LaTeX nápověda

Odevzdávárny

Odevzdávárna DÚ: úkol 04, příklad 1
Prosím odevzdávejte jen úkol 04, 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 04, příklad 2
Prosím odevzdávejte jen úkol 04, 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/reseni0401.pdf
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2020/IB005/um/du/reseni/reseni0402.pdf

Předchozí
Následující