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

'''Formální jazyk''' v [[Matematika|matematice]], [[logika|logice]] a [[Informatika|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říklady formálních jazyků:

* [[množina]] všech slov nad abecedou <math>{a, b}</math>

* množina <math>\left \{ a^{n}\right\}</math>, n je [[přirozené číslo]] a <math>a^{n}</math> znamená, že <math>a</math> se vyskytuje <math>n</math>-krát za sebou.

* množina všech slov, nad kterými daný [[Turingův stroj]] zastaví.

 

* slova generovaná nějakou [[formální gramatika|formální gramatikou]] (viz [[Chomského hierarchie]]);

* slova vyhovující nějakému [[regulární výraz|regulárnímu výrazu]];

* slova akceptovaná nějakým [[automat]]em, například [[Turingův stroj|Turingovým strojem]] nebo [[konečný automat|konečným automatem]];

 

{{Formální jazyky a gramatiky}}

[[Kategorie:Formální jazyky]]