„Formális nyelv” változatai közötti eltérés

nincs szerkesztési összefoglaló
Néhány további példa formális nyelvekre:
* Az üres halmaz és maga <math>A^*</math> is nyelvek. Triviális nyelvek.
* <math>L_1 = \left \{ a^{n} : n \in \mathbb{N} \right \}</math> (ahol <math>a^n</math> az <math>a</math> n-szeri ismétlését jelenti)
* egy adott [[programozási nyelv]]en szintaktikailag helyes programok halmaza, vagy
* egy bizonyos [[Turing-gép]]et megállító bemeneti jelek halmaza.
 
* A jelsorozatok felsorolásával. Például <math>L:= \left \{ abba, baba, bab \right \}</math>
* A jelsorozatok létrehozása (generálása) valamilyen [[formális nyelvtan]] alapján (lásd még [[Form%C3%A1lis_nyelvtan#A_Chomsky-f.C3.A9le_hierarchia|Chomsky-féle hierarchia]]);
* A jelsorozatok létrehozása (generálása) [[reguláris kifejezés]]ek segítségével;
* A tartalmazott jelsorozatok elfogadása valamilyen automata használatával, például [[Turing-gép]] vagy [[Absztrakt_automata#Az_automat.C3.A1k_oszt.C3.A1lyai|véges állapotú automata]];
* Azon kérdések halmazából, amelyekre IGEN/NEM válasz adható, azok a kérdések, amelyekre IGEN a válasz – lásd [[döntési probléma]].