我需要找到这种语言的自动机

Question

请帮我找一个语法或自动机来决定以下语言：

a ⁿ b ⁿ c ⁿ 其中n≥1

Answer 1

这种语言未能通过pumping lemma for context-free languages（事实上，这种语言被用作CFL抽取引理的例子），所以它既不是常规的也不是无上下文的。意思是你最好的选择是使用图灵机。

这绝对是一种可判断的语言。希望知道使用什么类型的自动机将帮助您自己找到问题。因为这看起来像家庭作业，这是我给你的最线索。