pushdown-automaton

1热度

1回答

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

0热度

1回答

PDA中的计数字母频率

我正在尝试构建一个PDA或CFG，它接受E是最常见字母的所有单词。例如，奶酪和T恤就是用语言写成的。我很确定这种语言是上下文无关的，但我似乎无法为它构建PDA。这可能吗？

-3热度

1回答

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

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

0热度

1回答

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

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

0热度

1回答

FSM中的状态应该与上下文类型成为朋友吗？

我已经构建了一个基于类的下推式自动机有限状态机。上下文类（内部状态被修改的类）有一些只有状态才能访问的方法（递增/递减某些迭代器，推/弹出状态，设置接受状态等）。目前他们是公开的，因为不同的州需要访问他们。将方法设置为protected/private并将状态定义为上下文的朋友会更好吗？（NB4“意见为基础的！”）

1热度

1回答

对于上下文无关语法，我如何将它转换为等价的下推自动机？

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

0热度

1回答

使用下推自动化创建语法树？

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

1热度

1回答

下推自动放弃了α，β和γ串

我理解的PDA的基础知识，但有一个，我还没有碰到过before.The问题来的一个问题就是：考虑与最终状态和空接受以下PDA中号叠加。 $ M =（K，\ Sigma，\ Gamma，\ delta，q_0，Z_0，F）$，$ K = q_0，\ Sigma = a，b，c，\ Gamma = a，b，c，S， Z_0 = S，F = q_0）$。过渡关系由， $ \增量（Q_0，\ε，S）=（

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的位置是任意的。解决这个问题的方法是什么？谢谢