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