计算理论：为这种语言设计一个双层PDA？

Question

考虑一种语言L2 = {ak bk ck | k> = 0}。

（K应该是上标）

设计语言L2的2叠层PDA。

任何人都可以给我一些指导如何去做到这一点？

Answer 1

尝试使用1堆栈PDA和语言{ aⁿ bⁿ | n >= 0 }来解决这个问题 - 这应该揭示如何使用附加堆栈来解决{ aⁿ bⁿ cⁿ| n >= 0 }。