Některé státnicové otázky jakožto literate code převážně v Haskellu. Soubory .lhs je možno normálně zpracovat v GHC/GHCi, přičemž řádky uvozené zobáčkem > jsou kód a zbytek jsou komentáře. GitHub to taky přežvýká a ozobáčkovaným řádkům zvýrazní syntaxi, zatímco zbytek považuje za Markdown dokument.

Jmenné konvence: ZKR_KratkyNazevOtazky.lhs, kde ZKR je zkratka předmětu, která je následována podtržítkem a zkráceným názvem otázky. Číslo otázky uvedeno není, stejně to má každý obor jinak... Pokud by se nějaká otázka příliš rozlezla, bude rozělena na několik částí následovně: ZKR_KratkyNazevOtazky_Podotazka.lhs.

1. Spuštění GHCi: ghci TIN_KonecneAutomaty.lhs
2. Vyzkoušení definovaných funkcí:

*Main> -- zobrazíme si předdefinovaný konečný automat
*Main> display $ toDot fsm00
*Main> -- a jeho deterministickou podobu
*Main> display $ determinize toDot fsm00
*Main> -- zkusíme, zda akceptuje nějaký vstup
*Main> ndAccepts fsm00 "42#"
True
*Main> ndAccepts fsm00 "420#"
False
*Main> :q

Přispivatelé, patche a forky vítány. Enjoy.