... ôtômat đẩy xuống M. Khi đó tồn tại ôtômat đẩy xuống M’ sao cho N(M’)=T(M). Chứng minh: Giả sử M=<Q, Σ, Γ, δ, q0, z0, F> là ôtômat đẩy xuống nào đó. Ta xây dựng ôtômat đẩy xuống ... được gọi là một danh sách đẩy xuống. Căn cứ vào trạng thái hiện tại của bộ điều khiển, ký hiệu vào mà đầu đọc đang quan sát và ký hiệu đầu của ngăn xếp, ôtômat đẩy xuống sẽ chuyển sang một ... chấn chỉnh lại ngăn xếp. Có hai cách đoán nhận xâu vào của ôtômat đẩy xuống: − Cách 1: Xâu vào được đọc xong và ôtômat đẩy xuống chuyển được về một trạng thái kết thúc nào đó. − Cách 2: Xâu...