TIN

Regulární jazyky

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

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

Rozhodnutelné problémy:

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

Bezkontextové jazyky

• Sjednocení
• Konkatenace
• Substituce
• Morfismus
• Iteraci
• Pozitivní iteraci
• Zrcadlení