grammar - 我需要为这种语言找到一个自动机

Question

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

a ⁿ b ⁿ c ⁿ其中 n≥1

Answer 1

这种语言无法满足上下文无关语言的抽引引理（实际上，这种语言被用作 CFL 抽引引理的示例），因此它既不是常规的也不是上下文无关的。这意味着您最好的选择是使用图灵机。

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