Formální jazyk: Porovnání verzí
Smazaný obsah Přidaný obsah
upřesnění matoucí formulace |
Verze 7029887 uživatele 62.24.87.147 (diskuse) zrušena - osobně mně tato poznámka ještě víc zmátla |
||
Řádek 1:
'''Formální jazyk''' v [[Matematika|matematice]], [[logika|logice]] a [[Informatika (počítačová věda)|informatice]] označuje [[množina|množinu]] konečných slov (tj. slov konečné délky) nad určitou [[abeceda|abecedou]]. Místo výrazu "slovo" se někdy užívá výraz "[[textový řetězec|řetězec]]". Definice pojmu ''formální jazyk'' se může měnit podle toho, v jakém kontextu a v jakém vědním oboru jej používáme.
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 [[λ]]. Ačkoli abeceda je konečná množina a každé slovo je konečná množina, jazyk konečný být nemusí, jelikož délka slov nemusí být shora omezena.
| |||