TIN

Z Varhoo
Přejít na: navigace, hledání

Regulární jazyky

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

Bezkontextové jazyky

  • Sjednocení
  • Konkatenace
Osobní nástroje