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

a
a (kisebb formai javítások)
* unió – <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.
* komplementer – <math>\bar{L_{1}}</math> – az <math>L_1</math> nyelvre előállítja az összes olyan jelsorozatot, amelyek az <math>L_{1}</math> nyelvben nem szerepelnek, de az <math>A^{*}</math> alaphalmazban igen.
* különbség – <math>L_1 \setminus L_2</math> – ''különbségképzés'' művelet az <math>L_{1}</math> és <math>L_{2}</math> nyelvekre előállítja az összes olyan jelsorozatot, amelyek <math>L_1</math>-ben léteznek, <math>L_{2}</math>-ben viszont nem.
 
A formális nyelvek speciális halmazok, így speciális műveletek is értelmezhetőek rajtuk:
 
=== Egyéb műveletek ===
* 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.