TIN
Z Varhoo
(Rozdíly mezi verzemi)
| Řádka 11: | Řádka 11: | ||
* Pozitivní iterace |
* Pozitivní iterace |
||
* Rozdíl |
* Rozdíl |
||
| + | * Zrcadlení |
||
Rozhodnutelné problémy: |
Rozhodnutelné problémy: |
||
| Řádka 23: | Řádka 24: | ||
* Sjednocení |
* Sjednocení |
||
* Konkatenace |
* Konkatenace |
||
| + | * Substituce |
||
| + | * Morfismus |
||
| + | * Iteraci |
||
| + | * Zrcadlení |
||
| + | * Zrcadlení |
||
Verze z 14. 11. 2011, 10:39
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
- Zrcadlení
- Zrcadlení
