Wikipedie

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

Interaktivně procházet historii
← Přejít na předchozí porovnáníPřejít na další porovnání →
Smazaný obsah Přidaný obsah
VizuálníWikitext
opraven odkaz abeceda
m narovnání přesměrová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 (formální jazyky)|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>.
Citováno z „https://cs.wikipedia.org/wiki/Formální_jazyk“