pushdown-automaton

1热度

1回答

对于Σ= {0,1,2}上的上下文无关文法G，其中起始变量S： S→0S0 | 1S1 | 2S2 | Ÿ Ÿ→22 我如何变成一个相当于下推自动机

0热度

1回答

如果我要创建一个接受的状态（名称）下推自动化和这些国家接受的转变（输入，流行，推，nextState）。所有这些如何帮助我构建一个分析树？我的意思是下推自动机检查是巨大的，如果事情是在语言，喜欢的令牌或任何的顺序是按照正确的顺序...但语法树？我的意思是考虑下面的例子： Foo { Woo { Hello World } } PDA的只能记住在堆栈顶部的项目和当前输入。我该

0热度

1回答

掌上电脑接受哪些语言

我很努力地理解在推送和弹出堆栈上和下的项目时下推自动机的符号。我知道堆栈必须是空的才能接受字符串。这里是我的PDA：如果我创建一个转移图说输入0011，我会做这样的： State Input Stack q0 0011 ɛ q0 011 0 q0 11 00 q0 1 100 q0 ɛ 1100 由于输入是

0热度

1回答

为以下语言创建下推自动机

所以我在练习中遇到了问题，我发现了这个问题。构造一个接受西格玛语言L的npda（a，b，c）。 L = {瓦特：A = B + 1的数目的数目} 所以我，因为它接受具有一个以上的，则字母B的所有字符串解释它。我相信所有的国家都应该有一个循环（c，landa，landa），因为我们并不关心c。在此之后，我感到非常困惑，因为有很多案例可以报道，因为a和b的位置是任意的。解决这个问题的方法是什么？谢谢

1热度

1回答

上下文自由和正规的语言与下推自动机和无限元素

我正在做我的理论课的硬件分配，并遇到一个问题，我真的不知道从哪里开始。我们正在介绍Push-Down自动机的一部分。 “让L1是一种上下文无关语言，L2是规则的，证明存在一种算法来确定L1和L2是否具有无限数量的公共元素。我不知道如何去解决这个问题。我无法理解我的想法。我知道，普通语言不允许含糊不清，我想知道这是否需要考虑这个问题。此外，在“Push-Down自动机”部分中，我假设它可能需要创建

0热度

1回答

下推自动机的语言

我想设计一个下推自动机的语言 L = { a^i b^j c^k | i = j or k <= j <= 2k} 是如右图所示，如下图中由教师提出的解决方案。但我这里关心的是，它不处理字符串的形式，当|2c| > |b|。那就是在q8状态下，如果所有的B都堆叠出来，但输入C还没有完成。这里没有捕捉到这种转变。我的关注是否正确？或建议的解决方案是一个正确的PDA。

-3热度

1回答

在自动机中查找2 pdf（2堆栈）中的中心字母

绘制一个2PDA，它接受中间字母为A的所有单词的中间字符A。另外，解释它的逻辑。

0热度

1回答

非确定下推自动机不同的图

在介绍计算书的理论，语言状态图给出：我知道有可能是替代图，但我怀疑的解决方案，我发现可能是错误的，这是比原来的稍有不同：我希望我的解决方案的任何计数器输入。

0热度

1回答

在这种情况下，下推自动机是否有用？

在大学他们要求我使用语法和Pushdown自动机来检查Java代码的一部分语法。由于我以前没有使用过这个自动机，所以我已经了解了它们是如何工作的，我认为这个自动机在检查代码语法方面并不是很有用，因为下推自动机用于验证任何令牌之间的某种比例的语法如“0^n 1^2n | n> = 0”。代码语法中不存在令牌之间的这种比例，因此我认为下推自动机在这种情况下并不有用。我是对的？我必须抱怨他们要求我

0热度

2回答

对于L = {a ^（n）b ^（n）c ^（n）| n> = 1}的PushDown自动机（PDA）

我正在试图构建非上下文的下推自动机的愚人差事自由语言L = {a ^（n）b ^（n）c ^（n）| n> = 1}并考虑两种方法。第一种方法： - 我认为，每一个“A”的字符串我会推3“”进栈和字符串中的每一个“B”，我会弹出2 'a'现在对于字符串中的每个'c'，我仍然会在堆栈中有'a'。问题与第一种方法： -产生的语言成为这样的L = {A ^（P）b ^（M）C ^（n）的| P> =