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

* 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]]);