0

Consider a language L2 = { ak bk ck | k >= 0 }.

(k should be superscript)

Design a 2-stack PDA for the language L2.

Could anyone give me some guidance on how to go about doing this?

1 Answers1

1

Try solving the case with a 1-stack PDA and the language { aⁿ bⁿ | n >= 0 } - that should expose how to solve { aⁿ bⁿ cⁿ| n >= 0 } using an additional stack.

Anders Lindahl
  • 41,582
  • 9
  • 89
  • 93