4 states 2 scans 2 shifts 1 reductions 0 compares 0 ambiguities
( THIS  that )