TIN

Z Varhoo
Verze z 14. 11. 2011, 10:36; Pajinek (diskuse | příspěvky)

(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)
Přejít na: navigace, hledání

Uzávěrové vlastnosti regulárních jazyků:

  • Sjednocení
  • Průnik
  • Konkatenace
  • Komplement
  • Substituce
  • Morfismus
  • Iterace
  • Pozitivní iterace
  • Rozdíl

Rozhodnutelné problémy:

  • Příslušnost jazyka
  • Prázdnost
  • Ekvivalence
  • Inkluze
  • Universita
  • Konečnost
Osobní nástroje