简体   繁体   中英

Why the following language cannot be defined using a Pushdown Automata (PDA)?

{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.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM