Formální jazyky a automaty
Informace k domácím úkolům
- Domácí úkoly vám dodají nejen body potřebné na splnění předmětu, ale zároveň si pomocí nich probíraná témata pořádně procvičíte a dostanete zpětnou vazbu na to, jak si vedete – jejich řešením si utvrdíte znalosti získané na přednášce.
- Vždy v pondělí bude zveřejněna jedna
sada úkolů obsahující obvykle dva příklady, každý za 0.5 bodu. Většinu
týdnů se bude jednat o otevřené úlohy očekávající textovou odpověď, některé týdnu budou však část či
všechny úlohy zadány formou odpovědníků v ISu (které mohou být za méně bodů).
- Při řešení úkolů je možné vzájemně spolupracovat. Ze společné porady si však odneste pouze myšlenku. Vlastní řešení musí každý student zformulovat zcela samostatně (vlastními slovy/vlastním kódem), nikoliv jako kopii (či drobnou obměnu) cizího řešení. Porušením tohoto pravidla se vystavujete naprosto reálnému riziku disciplinárního řízení a odpovídající sankce (a rovněž přijdete o body z úkolu).
- „Klasické“ textové úkoly se odevzdávají pouze přes odevzdávárnu v ISu. Odpovědníkové úlohy se odevzdávají přes odpovědník.
- Textové úkoly se odevzdávají na skenovatelných listech, díky
čemuž se po opravení dají naskenovat a svůj opravený úkol i s případnými
poznámkami opravujících můžete najít v ISu. Aby to mohlo fungovat, je
nutné dodržet následující pravidla:
- úkoly smíte odevzdávat pouze na skenovatelném
listu a v dostatečné kvalitě;
- speciálně tedy nesmíte například odevzdávat nekvalitně naskenované nebo rozmazané či tmavé fotografie z mobilu;
- hlavička papíru musí být čitelně vyplněná, a to
jak strojově čitelné UČO, tak „ručně“ psané údaje (kromě počtu bodů, který
doplní opravující), hlavičky budeme strojově rozpoznávat;
- musíte zachovat kompletní hlavičku a patičku se strojově čitelnými údaji (celé čtverečky a strojově čitelné údaje), do patičky nic nevpisujte;
- pokud budete řešení vypracovávat ručně, můžete využít připravený prázdný list skenovatelného formuláře;
- doporučený postup je použít TeX šablonu, není to náročné a návod je níže – nejjednodušší způsob, jak dodržet všechna pravidla práce se skenovatelnými listy je používat sázecí systém LaTeX a odevzdávat PDF elektronicky;
- pokud nebude možné váš úkol naskenovat a automaticky rozpoznat, riskujete stržení až poloviny bodů z domácího úkolu (zaokrouhlováno dolů).
- úkoly smíte odevzdávat pouze na skenovatelném
listu a v dostatečné kvalitě;
- Na vypracování úkolu máte čas do následujícího pondělí do 11:59:59 elektronicky do vyhrazené složky v odevzdávárně v ISu. Datum odevzdání je vždy též uveden na listu s úkolem.
- Použijte výhradně povolené formáty, vizte níže, vypracujte každý příklad do samostatného souboru a nepoužívejte barvy – může se tisknout černobíle).
- Dávejte si pozor, aby vaše řešení bylo dobře čitelné.
- V týdnu po odevzdání bude zveřejněno vzorové řešení textových úloh.
- Úkol odevzdaný do špatné odevzdávárny nemusí být uznán.
- Úkoly odevzdané jinak než přes odevzdávárnu nebudou uznány.
- Pokud si po nahrání odevzdávaného souboru uvědomíte, že jste udělali chybu a chcete odevzdat znovu, stačí přepsat původní odevzdání v odevzdávárně.
- Bude-li řešení nějakého příkladu zveřejněno před termínem odevzdání (např. na diskusním fóru, facebooku, discordu a podobně), bude tento příklad anulován.
- Body z úkolů budou k nalezení v poznámkových blocích, opravené úkoly budou k nahlédnutí v ISu.
- Dotazy na domácí úkoly směřujte do diskusního fóra, nebo, v případě, že váš dotaz může prozrazovat část řešení nebo se týká pouze vaší osoby (např. "Domácí úkol jsem odevzdal, ale nedostal jsem žádné body."), kontaktujte Annu Řechtáčkovou e-mailem s kódem předmětu v hlavičce.
Formát odevzdání
- Silně doporučujeme používat sázecí systém LaTeX a odevzdávat PDF.
- Pokud nepoužíváte LaTeX, můžete použít i nějaký PDF editor, dávejte však pozor, abyste nepoužívali režim anotací určených pouze pro obrazovku (ve výsledném výtisku pak totiž vaše řešení nebude a opravující jej tedy neuvidí).
- Je povoleno také řešit na papír a následně papír oskenovat (či pokud to jinak nejde vyfotit) a odevzdat, je však třeba dodržet následující pravidla
- povolené formáty jsou PDF, PNG a JPG (pozor však na zachování kvality při kompresi), jiné formáty nebudou akceptovány;
- i rukou psaný úkol musí být na skenovacím formuláři, se správně vyplněnou hlavičkou a všemi prvky pro zajištění strojové čitelnosti (tedy především černé čtverce ve 3 rozích a černé čárky kolem oblastí na zapsání uča, čísla listu a bodů);
- úkol musí být ve formátu A4, případný tisk bude s nastavením fit-to-page, je však třeba zachovat správný poměr stran, opět aby fungovalo rozpoznávání;
- je třeba zajistit, aby stránka byla správně otočená (ne vzhůru nohama, ne na straně);
- dávejte pozor, aby okolo stránky nebyly v obrázku tmavé okraje, pokud tedy nemáte skener a papír fotíte, případné okraje ořízněte a korigujte případné natočení papíru;
- řešení musí být dostatečně kontrastní (opět dávejte pozor především při focení);
- a samozřejmě, řešení musí být čitelné pro opravující;
- pokud odevzdáváte ve formátu PDF, vše k jednomu příkladu musí být v jednom souboru, pokud odevzdáváte více stránek v obrázkových formátech, odevzdávejte více souborů s názvy ve tvaru NÁZEV-1, NÁZEV-2, … a pro jistotu do řešení uveďte, kolikátý list z kolika to je.
Jak na LaTeX
Sázecí systém LaTeX vám umožní snadné vyplňování naší šablony a tvorbu bezproblémově čitelných a skenovatelných řešení. Proto také poskytujeme návod na jeho použití v kontextu našeho předmětu, ten naleznete na odkazu níže. K sazbě budete potřebovat také styl pro FJA, který rovněž naleznete níže. Použití LaTeXu není náročné, navíc nepotřebujete ani instalaci na svém počítači, plně postačí použít webový editor na https://www.overleaf.com/.