|
Itt az a trükk, hogy ha beveszem az
szabályt, akkor az S-et
ugrani kell még ugyanazon oszlopon belül, az összes olyan helyen, ahol pont
mögött szerepel.
A táblázatok:
Semmi = 0 |
a = 1 |
a = 2 |
|
|
|
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;0$](img2.gif) |
![$S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;0$](img3.gif) |
![$S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;1$](img4.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;0$](img5.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;1$](img6.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb\;,2$](img7.gif) |
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;\;0$](img8.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;1$](img9.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;2$](img10.gif) |
|
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;1$](img11.gif) |
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb\;,2$](img12.gif) |
|
![$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;0$](img13.gif) |
![$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;1$](img14.gif) |
|
|
|
b = 3 |
a = 4 |
b = 5 |
|
|
|
![$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;1$](img15.gif) |
![$S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;1$](img4.gif) |
![$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;1$](img15.gif) |
![$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;0$](img13.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;4$](img16.gif) |
![$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b\;,0$](img17.gif) |
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;\;1$](img18.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;4$](img19.gif) |
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;1$](img11.gif) |
|
![$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;1$](img14.gif) |
|
|
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;4$](img20.gif) |
|
|
|
|
b = 6 |
a = 7 |
b = 8 |
|
|
|
![$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;0$](img21.gif) |
![$S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;0$](img3.gif) |
![$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;0$](img21.gif) |
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;0$](img22.gif) |
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;7$](img23.gif) |
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;0$](img22.gif) |
|
![$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;7$](img24.gif) |
|
|
![$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;0$](img13.gif) |
|
|
![$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;7$](img25.gif) |
|
|
|
|
A táblázatokból visszakereséssel jön a levezetési fa.
|