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ů).
  • 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/.