... <q1, un, %vn-1Rzn-1>. Trong D, sử dụng quy tắc zn-1→xn-1∈P với xn-1vn-1=un, ta có: <q1, un, %vn-1Rzn-1> <q1, un, %vn-1Rxn-1R> <q1, ... đoán nhận hết lớp ngôn ngữ phi ngữ cảnh. Còn ôtômat đẩy xuống đơn định chỉ có khả năng đoán nhận được lớp con thực sự của lớp ngôn ngữ phi ngữ cảnh mà thôi. Tuy vậy, lớp ngôn ngữ được đoán nhận ... trình hình thành các xâu của ngôn ngữ. Vì lẽ đó cần loại bỏ những yếu tố dư thừa không có ích trong việc sinh ngôn ngữ, sao cho việc loại bỏ đó không làm ảnh hưởng tới quá trình sinh ngôn ngữ. ...