14 states 7 scans 5 shifts 8 reductions 1 compares 0 ambiguities
( x ( +  x ))