为以下语言构造DFA:L = {a ^ n b ^ n | N'GT; = 1}

时间:2011-02-04 17:39:27

标签: computation-theory

在语言中,n就是力量,但我不知道怎么写。

2 个答案:

答案 0 :(得分:11)

我认为你误解了你的作业(更不用说课本身了)。该语言不常规。这意味着,你无法为它构建DFA。

想一想:当你经历a的循环时,你没有按照你执行状态的次数。您无法知道阅读b的次数。

这可以通过像这样的无上下文语法来完成:

S->aSb|ab

答案 1 :(得分:0)

你是否在课堂上阅读了常规泵送引理?

对于Context Free语言也有类似的抽象引理