Formální jazyk: Porovnání verzí
Smazaný obsah Přidaný obsah
m Oprava odkazu |
m odkaz na lambda |
||
Řádek 3:
Příkladem abecedy může být <math>\left \{ a , b \right \}</math>, slovem nad touto abecedou je například <math>ababba</math>. Příkladem jazyka můžou být slova nad touto abecedou, která obsahují stejný počet symbolů <math>a</math> a <math>b</math>.
'''Prázdné slovo''' (tj. slovo, které se skládá z nulového počtu znaků) se značí <math>e</math>, <math>\epsilon</math> nebo
Abeceda je obvykle značena symbolem <math>\Sigma</math>. Zápis <math>\Sigma^{*}</math> pak označuje jazyk, obsahující všechna slova nad danou [[abeceda|abecedou]], včetně prázdného slova. Každý jazyk <math>L</math>nad určitou [[abeceda|abecedou]] <math>\Sigma</math> je [[podmnožina|podmnožinou]] jazyka <math>\Sigma^{*}</math>.
| |||