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

a (r2.7.2) (Bot: következő hozzáadása: eo:Formala lingvo)
* konkatenáció – <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.
* A ''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 ''tranzitív lezárt'' (lezárt, lezárás, angolul ''[[Kleene star]]'', Kleene csillag) – <math>L_{1}^{*}</math> – a tranzitív lezárt 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 '''mindig''' része a <math>L_{1}^{*}</math> nyelvnek, minden <math>L_{1}</math> nyelvre! (Ha az eredeti nyelv nem is tartalmazta az üres jelsorozatot, a tranzitív lezártja akkor is tartalmazni fogja!) A legalább egy betűt (karaktert) tartalmazó nyelvek tranzitív lezártja végtelen számosságú; az elnevezés onnan származik, hogy a tranzitív lezárt az összes azAZ olyan elemet tartalmazza, ami az eredeti nyelv szavaiból kiindulva konkatenációk tetszőleges egymás után alkalmazásával megkapható (lezárt, mert ez a „legnagyobb” ilyen halmaz, elemeinek konkatenációjával már nem bővíthető).
* 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 ( például 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.
Névtelen felhasználó