17 states 8 scans 3 shifts 10 reductions 0 compares 0 ambiguities
( a  b  c )