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

a
Bot: Átirányítások javítása
a (Bot: pl. javítása példáulra, Replaced: pl. → például (4))
a (Bot: Átirányítások javítása)
* 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 [[Chomsky féle hierarchia]]);
* A jelsorozatok létrehozása (generálása) [[szabályos kifejezésekkifejezés]]ek segítségével;
* A tartalmazott jelsorozatok elfogadása valamilyen [[automata]] használatával, például [[Turing-gép]] vagy [[véges állapotú automata]];
* Azon kérdések halmazából, amelyekre IGEN/NEM válsz adható, azok a kérdések, amelyekre IGEN a válasz – lásd [[döntési probléma]].
51 382

szerkesztés