Μια γραμματική είναι Διφορούμενη αν εφαρμόζοντας την ίδια πάντα, είτε αριστερή είτε δεξιά παραγωγή , για την υλοποίηση μιας συμβολοσειράς καταλήγουμε σε δύο διαφορετικά  δέντρα ανίχνευσης.

Έστω γραμματική ΑàΑ+Α|Α*Α|Α­^ Α|digit με  digità0|1|2|3 η γραμματική είναι διφορούμενη προς την έκφραση 1+2*3 οπότε και οι κανόνες της γραμματικής γίνονται:

ΑàΑ+B|B   (αριστερή προσεταιριστικότητα στην πρόσθεση & αφαίρεση)

BàB*C|C   (αριστερή προσεταιριστικότητα στον πολλαπλασιασμό)

CàD ­^C|D ( δεξιά προσεταιριστικότητα στην δύναμη )

Dàdigit

digità0|1|2|3

Η διαδικασία της Απο -διαφοροποίησης είναι πάντα συγκεκριμένη και ίδια . Προσοχή στις αντικαταστάσεις και στις προτεραιότητες.