TIN

Z Varhoo
(Rozdíly mezi verzemi)
Přejít na: navigace, hledání
(Založena nová stránka: Uzávěrové vlastnosti regulárních jazyků: * Sjednocení * Průnik * Konkatenace * Komplement * Substituce * Morfismus * Iterace * Pozitivní iterace * Rozdíl Rozhod…)
 
Řádka 1: Řádka 1:
  +
===Regulární jazyky===
 
Uzávěrové vlastnosti regulárních jazyků:
 
Uzávěrové vlastnosti regulárních jazyků:
   

Verze z 14. 11. 2011, 10:36

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
Osobní nástroje