7 states 6 scans 3 shifts 3 reductions 0 compares 0 ambiguities
( - ( !  x ))