Xây dựng Pushdown Automata cho L = {0^m 1^(n+m) 2^n | m,n ≥ 0} trong C++

Xây dựng PDA: số '1' = số '0' + số '2'. Chuỗi rỗng được chấp nhận.

Các trạng thái

• q0: Đẩy '0'; gặp '1' khi đỉnh là '0' thì pop '0' chuyển q1; gặp '1' khi stack rỗng thì đẩy '1' chuyển q1.
• q1: Đẩy '1'; gặp '1' khi đỉnh '0' thì pop '0'; chuỗi rỗng chuyển qf; gặp '2' pop '1' chuyển q2.
• q2: Pop '1' cho '2'; chuỗi rỗng chuyển qf.
• qf: Trạng thái chấp nhận.

Mô tả lý thuyết PDA, không có code C++ chạy.