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