{0 i 1 j 2 k | 0 <= i <= j <= k }
Is it possible to design a PDA for this language?
I think the answer is no, and it can only be defined using at least a context free grammar.
However, I don't know why. I need some discussion and explanation regarding this.
The answer is no. Actually there are neither a CFG nor an NPDA for this language. The proof can be established using a pumping lemma for context free languages.
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.