„Szerkesztő:Beginner 25/Munka1” változatai közötti eltérés
Tartalom törölve Tartalom hozzáadva
272. sor:
Néhány művelettel új nyelv állítható elő adott nyelvből vagy nyelvekből. Tegyük fel, hogy <math>L_{1}</math> és <math>L_{2}</math> közös abc-n értelmezett nyelvek.
* A ''concatenation'' — <math>L_{1}L_{2}</math> — ''konkatenáció'' vagy ''összekapcsolás'' művelet előllítja az összes <math>vw</math> formájú jelsorozatot, ahol <math>v</math> egy <math>L_{1}</math>-ből származó jelsorozat, és <math>w</math> a <math>L_{2}</math>-ből származó jelsorozat.
* Az ''intersection'' — <math>L_1 \cap L_2</math> — ''közösrész képzés'' művelet az <math>L_{1}</math> és <math>L_{2}</math> nyelvre előállítja az összes olyan jelsorozatot, amelyek <math>L_1</math>-ben és <math>L_{2}</math>-ben is léteznek.
* A ''union'' — <math>L_1 \cup L_2</math> — ''egyesítés'' művelet az <math>L_{1}</math> és <math>L_{2}</math> nyelvre előállítja az összes olyan jelsorozatot, amelyek vagy <math>L_{1}</math>-ben vagy <math>L_{2}</math>-ben léteznek.
* A ''complement'', ''komplementer képzés'' vagy ''kiegészítő képzés'' művelet az <math>L_{1}</math> nyelvre előállítja az összes olyan jelsorozatot, amelyek az <math>L_{1}</math> nyelvben nem léteznek.
* The ''right quotient'' — <math>L_{1}/L_{2}</math> — ''különbségképzés'' művelet az <math>L_{1}</math> és <math>L_{2}</math> nyelvek között előállítja az összes olyan <math>L_{2}</math>-ben létező <math>w</math> jelsorozatot, amely jelsorozatok az <math>L_{1}</math> nyelvben <math>vw</math> formában fordulnak elő (ahol <math>v</math> jelsorozat az <math>L_{1}</math> nyelvben létezik).
* A ''[[Kleene star]]'' — <math>L_{1}^{*}</math> — a [[Kleene csillag]] művelet előállítja az összes <math>w_{1}w_{2}...w_{n}</math> formában leírható jelsorozatot, ahol a <math>w_{i}</math> jelsorozat az <math>L_{1}</math> nyelvben létezik és <math>n \ge 0</math>). Meg kell jegyezni, hogy az <math>n = 0</math> értékadás megengedett, tehát az <math>\epsilon</math> üres jelsorozat része az <math>L_{1}</math> nyelvnek.
* A ''reverse'' — <math>L_{1}^{R}</math> — ''fordítottja'' művelet előállítja az összes <math>L_{1}</math> nyelvben létező jelsorozat fordítottját ( pl. az <math>ababba</math> jelsorozat fordítottja a <math>abbaba</math> jelsorozat).
* A ''shuffle'', ''megkever'' művelet az <math>L_{1}</math> és az <math>L_{2}</math> nyelvek között előállítja az összes <math>v_{1}w_{1}v_{2}w_{2}...v_{n}w_{n}</math> formában leírható jelsorozatot, ahol <math>n \ge 1</math> és a <math>v_{1},...,v_{n}</math> jelsorozatok, amelyek az <math>L_{1}</math> nyelvben léteznek, és az előzőek szerinti értelemben össze vannak kapcsolva a <math>w_{1},...,w_{n}</math> jelsorozatokkal, amelyek az <math>L_{2}</math> nyelvben léteznek.
| |||