a       b       #
S       aSA,1   bA,3
A       a,2

(abaa#, S#, -) ->
(abaa#, aSA#, 1) ->
( baa#, SA#, 1) ->
( baa#, bAA#, 13) ->
(  aa#, AA#, 13) ->
(  aa#, aA#, 132) ->
(   a#, A#, 132) ->
(   a#, a#, 1322) ->
(    #, #, 1322) ->
accept


S -> aS|bA
A -> d|ccA

    a       b       c       d       #
S   aS,1    bA,2
A                   ccA,4   d,3

abc#
(abc#, S#, -)
(abc#, aS#, 1)
( bc#, S#, 1)
( bc#, bA#, 12)
(  c#, A#, 12)
(  c#, ccA#, 124)
(   #, cA#, 124)
error