next up previous
Next: About this document ...



Itt az a trükk, hogy ha beveszem az $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} $ 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$ $S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;0$ $S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;1$
$S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;0$ $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;1$ $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb\;,2$
$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;\;0$ $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;1$ $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;2$
  $S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;1$ $S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb\;,2$
  $S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;0$ $S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;1$
     
b = 3 a = 4 b = 5
     
$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;1$ $S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;1$ $S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;1$
$S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;0$ $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;4$ $S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b\;,0$
$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;\;1$ $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;4$ $S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;1$
  $S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;1$  
  $S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;4$  
     
b = 6 a = 7 b = 8
     
$S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;0$ $S\ensuremath{\rightarrow} Sa\ensuremath{\mathbf{.}} Sb,\;0$ $S\ensuremath{\rightarrow} SaSb\ensuremath{\mathbf{.}} ,\;0$
$S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;0$ $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} SaSb,\;7$ $S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;0$
  $S\ensuremath{\rightarrow}\ensuremath{\mathbf{.}} ,\;7$  
  $S\ensuremath{\rightarrow} SaS\ensuremath{\mathbf{.}} b,\;0$  
  $S\ensuremath{\rightarrow} S\ensuremath{\mathbf{.}} aSb,\;7$  
     
A táblázatokból visszakereséssel jön a levezetési fa.



 
next up previous
Next: About this document ...
Csiga
1999-05-20