ID ID moreIDs ID moreIDs 16 states 6 scans 6 shifts 8 reductions 0 compares 0 ambiguities ( abc (( , def )( , ghi )) ; )