TIN
Z Varhoo
(Rozdíly mezi verzemi)
(→Bezkontextové jazyky) |
|||
| Řádka 27: | Řádka 27: | ||
* Morfismus |
* Morfismus |
||
* Iteraci |
* Iteraci |
||
| − | * Zrcadlení |
+ | * Pozitivní iteraci |
* Zrcadlení |
* Zrcadlení |
||
Verze z 14. 11. 2011, 11:40
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í
