share: true
aliases: ["formální jazyk", "jazyk", "FJ"]
- Množina řetězců nad nějakou abecedou
- Může být prázdná -
- Značíme nebo
- Formální jazyk nad
Druhy jazyka
Například abeceda obsahující symboly
- množina všech neprázdných řetězců nad
- množina všech řetězců nad , tedy včetně prázdného řetězce
Operace
Doplněk (komplement) jazyka
- Všechny řetězce doplněny do abecedy
- nad
- Může být konečný jen pro prázdnou abecedu
Součin (zřetězení) jazyků
Značíme tečkou
, je definován nad abecedou
Pozitivní iterace (Kleene plus)
Vytvořeno: 7. 8. 2024, 13:25
Poslední aktualizace: 7. 8. 2024, 13:25