13 states 6 scans 6 shifts 6 reductions 0 compares 0 ambiguities
( a (( b  c )( b  c )) d )