1ID 2ID 3moreIDs 4ID 5moreIDs 616 states 6 scans 6 shifts 8 reductions 0 compares 0 ambiguities 7( abc (( , def )( , ghi )) ; ) 8