5 states 3 scans 3 shifts 1 reductions 0 compares 0 ambiguities
( a  b  c )