Verze z 18. 10. 2008, 05:00 editovat Tchoř (diskuse \| příspěvky) Prověření uživatelé, Byrokraté, Správci 61 214 editací m odkaz na lambda ← Přejít na předchozí porovnání		Verze z 2. 3. 2009, 21:37 editovat zrušit editaci Dan Polansky (diskuse \| příspěvky) 1 521 editací pojmu/výrazu Přejít na další porovnání →
Řá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 ~~pojmu~~výrazu "slovo" se někdy užívá výraz "[[ř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>.

Formální jazyk: Porovnání verzí