„Szerkesztő:Beginner 25/Munka1” változatai közötti eltérés

Legyen egy abc a <math>\left \{ a , b \right \}</math>, és az abc alapján létrehozott jelsorozat legyen például <math>ababba</math>.

 

 

Az '''üres szó''' (ami nem más, mint egy nulla hosszúságú jelsorozat) megengedett és gyakran az <math>e</math>, <math>\epsilon</math> vagy a <math>\Lambda</math> jelöli. Bár véges halmaz az abc, és a belőle alkotható jelsorozatok hossza is véges, egy nyelvhez végtelenül sok jelsorozat tartozhat (mivel a szavak hossza nincs korlátozva).

* Jelsorozatok létrehozása [[szabályos kifejezések]] segítségével;

* Jelsorozatok elfogadása valamilyen [[automata]] használatával, például [[Turing-gép]] vagy [[véges állapotú automata]];

 

Néhány művelettel új nyelv állítható elő egy adott nyelvből. Tegyük fel, hogy <math>L_{1}</math> és <math>L_{2}</math> közös abc-n értelmezett nyelvek.