• Úvodní stránka

• Osnova
• Texty
• Odkazy

• Úlohy

• Zadání

Zadání projektu

Úloha č. 1

Řešte vybranou úlohu prostředky jazyka Haskell. Řešení bude doplněno dokumentací obsahující podrobné zadání problému, popis postupu řešení a návod k použití programu (dokumentace může být součástí zdrojového textu). Součástí programu bude i sada testovacích příkladů demonstrujících správnou činnost programu.

Zadání jsou pouze tematická, v případě potřeby je možno podrobnosti dohodnout s vyučujícím, případně lze dohodnout řešení úlohy mimo uvedený seznam témat.

• Převod regulárního výrazu na nedeterministický automat.
• Převod nedeterministického konečného automatu na deterministický. [dom039 - Domes][sam075 - Samek]
• Převod booleovských výrazů do normální formy. [pto001 - Ptoszek] [kli308 - Klíma]
• Vyhledávání v řetězci s regulárními výrazy. [] [pej016 - Pejchar]
• Výpočet množin First a Follow pro zadanou gramatiku. [bir006 - Birka]
• Komprese/Dekomprese dat. [] [lob007 - Lobodinský]
• Vyhledání cest v bludišti. [ kor206 - Kordas]
• Simulace kombinačních a sekvenčních logických obvodů. [] [dur064 - Duroň]
• Simulace zásobníkového automatu s vyhledáním všech možností přijetí zadaného řetězce. [ juc017 - Jůchová]
• Simulace Turingova stroje. [sch110 - Schäfer][kar126 - Karásek]
• Knihovna operací nad gramatikami (testování vlastností, transformace).
• Knihovna aritmetických operací s polynomy. [ fab038 - Fabián]
• Knihovna operací nad B-stromy.
• Knihovna aritmetických funkcí s libovolnou přesností. [ buc061 - Bučková]
• Hra Life [] [kri248 - Křižka]
• Hra Reversi
• Hra Logik [mok046 - Mokrosz]

U programů, které vyžadují vstup složitějších datových struktur, se připouští zadávání vstupních dat formou konstant uvedených přímo v programu (tj. není nutné např. definici automatu číst ze vstupu v textové podobě). Programy musí v tom případě umožňovat zadání více úloh současně v jednom souboru.

Úloha č. 2

Řešte zvolené zadání pomocí jazyka Prolog. Požadavky na dokumentaci a testovací příklady jsou shodné s úlohou č. 1.