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