TIN
Z Varhoo
(Rozdíly mezi verzemi)
| Řádka 19: | Řádka 19: | ||
* Universita |
* Universita |
||
* Konečnost |
* Konečnost |
||
| + | |||
| + | ===Bezkontextové jazyky=== |
||
Verze z 14. 11. 2011, 10:37
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
