7 states 4 scans 3 shifts 4 reductions 0 compares 0 ambiguities
( i ( i  x ))