Formální jazyky a automaty

Softwarové nástroje

Automata tutor

Nástroj pro procvičování a hodnocení příkladů na regulární a bezkontextové jazyky.

Návod

  1. registrujte se zde s pouzitim vaší MUNI adresy uco@mail.muni.cz
  2. po povrzení mailu se přihlašte
  3. jděte na , což vás přihlásí do kurzu pro tento předmět
  4. po vybraní kurzu máte vlevo menu s typy úloh

JFLAP

Nástroj na procvičování algoritmů: můžete jednotlivé kroky vynovávat, nebo si nechat radit, nechat je vykonat, či se rovnou podívat na výsledek.

Návod

  1. vyplňte tento formulář; jako skripta můžete udat Černá, Křetínský, Kučera: Formální jazyky a automaty
  2. stáhne se vám .jar (potřebuje pouze Javu verze >= 8)