14 states 4 scans 3 shifts 7 reductions 0 compares 0 ambiguities
( b ( a ( a )))