12 states 7 scans 4 shifts 5 reductions 0 compares 0 ambiguities
( x  +  x )