aaaxyz111hellobbb1234

g1 g1 g1 $ -> w
hello -> world
xyz g1 g2 g3 w -> $
-> .


gi - variabile generice
  - legate la valori pe parcursul aplicării unei reguli (perioada de viață este doar timpul cât se identifică șablonul și până este substituit)
  - legate în momentul potrivirii șablonului


aaaxyz111hellobbb1234

aaaxyz111worldbbb1234		g1=1, g2=1, g3=1

aaa$orldbbb1234				g1=a

worldbbb1234

.


12xyz34zx567
A = {x,y,z}
B = {1,2,3,4,5,6,7}

a este variabilă de lucru
g1 din A, g2 din B

a g2 -> a
a g1 -> g1 a
a -> .
-> a


a12xyz34zx567
--
a2xyz34zx567
--
axyz34zx567
--
xayz34zx567
 --
xyaz34zx567
  --
xyza34zx567
   --
xyza4zx567
   --
xyzazx567
...
xyzazxa7
      --
xyzazxa
      -
xyzazx
.


în exemplul cu inversarea:
- a marchează că un simbol trebuie dus la dreapta
- b marchează că simbolul a terminat de "călătorit" către dreapta