|
A táblázatok:
Semmi = 0 |
b = 1 |
d = 2 |
|
|
|
![$P\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} bDSe,\;0$](img1.gif) |
![$P\ensuremath{\rightarrow} b\ensuremath{\mathbf{.}} DSe,\;0$](img2.gif) |
![$D\ensuremath{\rightarrow} d\ensuremath{\mathbf{.}} vD,\;1$](img3.gif) |
|
![$D\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} dvD,\;1$](img4.gif) |
![$D\ensuremath{\rightarrow} d\ensuremath{\mathbf{.}} v\;,1$](img5.gif) |
|
![$D\ensuremath{\rightarrow} .dv,\;\;1$](img6.gif) |
|
|
|
|
v = 3 |
u = 4 |
v = 5 |
|
|
|
![$D\ensuremath{\rightarrow} dv\ensuremath{\mathbf{.}} D ,\;1$](img7.gif) |
![$S\ensuremath{\rightarrow} u\ensuremath{\mathbf{.}} vS ,\;3$](img8.gif) |
![$S\ensuremath{\rightarrow} uv\ensuremath{\mathbf{.}} S,\;3$](img9.gif) |
![$D\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} dvD ,\;3$](img10.gif) |
![$S\ensuremath{\rightarrow} u\ensuremath{\mathbf{.}} v ,\;3$](img11.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} uvS,\;5$](img12.gif) |
![$D\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} dv ,\;3$](img13.gif) |
|
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} uv,\;5$](img14.gif) |
![$D\ensuremath{\rightarrow} dv\ensuremath{\mathbf{.}} ,\;1$](img15.gif) |
|
![$S\ensuremath{\rightarrow} uv\ensuremath{\mathbf{.}} ,\;3$](img16.gif) |
![$P\ensuremath{\rightarrow} bD\ensuremath{\mathbf{.}} Se,\; 0$](img17.gif) |
|
![$P\ensuremath{\rightarrow} bDS\ensuremath{\mathbf{.}} e,\;0$](img18.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} uvS,\; 3$](img19.gif) |
|
|
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} uv,\; 3$](img20.gif) |
|
|
|
|
|
u = 6 |
v = 7 |
e = 8 |
|
|
|
![$S\ensuremath{\rightarrow} u\ensuremath{\mathbf{.}} vS ,\;5$](img21.gif) |
![$S\ensuremath{\rightarrow} uv\ensuremath{\mathbf{.}} S ,\;5$](img22.gif) |
![$P\ensuremath{\rightarrow} bDSe\ensuremath{\mathbf{.}} ,\;0$](img23.gif) |
![$S\ensuremath{\rightarrow} u\ensuremath{\mathbf{.}} v ,\;5$](img24.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} uvS ,\;7$](img25.gif) |
|
|
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} uv,\;7$](img26.gif) |
|
|
![$S\ensuremath{\rightarrow} uv \ensuremath{\mathbf{.}} ,\; 5$](img27.gif) |
|
|
![$S\ensuremath{\rightarrow} uvS\ensuremath{\mathbf{.}} ,\;3$](img28.gif) |
|
|
![$P\ensuremath{\rightarrow} bDS\ensuremath{\mathbf{.}} e,\;0$](img18.gif) |
|
|
|
|
A táblázatokból visszakereséssel jön a levezetési fa: visszanézzük, hogy melyik
szabály miért került be a táblákba.
Hátulról kezdjük: az utolsó táblában a
a 7. táblában
levő
miatt jött be.
A
szabály azért került be, mert ugrottuk az S-t, azt meg
azért tettük, mert az
szabály végére értünk, annak meg azért értünk
a végére, mert az
szabálynak a végére értünk.
Satöbbi, satöbbi...
Így visszajutunk és közben építjük a fát. Mire az elejére érünk, az első táblához,
addigra teljes lesz a fa.
|