formal-languages

1热度

1回答

让A，B，C成为时尚。考虑方程X = AX + BX + C。解答X必须是时尚吗？

让A，B，C成为时尚。考虑方程X = AX + BX + C。解答X必须是时尚吗？你能帮我解决这个问题吗？ fad是一种常用语言

1热度

1回答

到目前为止，我遇到了两种类型的语言。有严格格式的语言，如 L = {a^n b^n c^n | N> = 1} 这种语言很严格的，例如一个公司将收到B的等的其他类型的我遇到经常来是语言它可以是任何顺序。 L = {A，B} *，其中a的数> B的这种语言的数目可以是一个和b的其不是卡在适当位置的任何顺序。 For the languages that are structured this m

1热度

1回答

Zed的规范：促进和应用操作一个以上的架构

我有一个Array模式，它跟踪的Data模式序列。使用促销，我可以促进Increment操作使用Array。 ArrayIncrement只在Array内增加一个数据。我该如何使它在\ran data中每增加Data？

-1热度

1回答

清晰的方式来表示DFA接受的语言？

我给了2个DFA。 *表示最终状态， - >表示在字母表{a，b}上定义的初始状态。 1） - > A with a去A. - > A with b去* B。 * B与a去* B。 * B与B去 - > A。该正则表达式是清楚： E = A * B（A * +（A * BA * BA *）*）而且它接受的语言是L 1 = {瓦特以上{一，b} | w是b前面有任意数量的a，后面跟着任意数量的a

-3热度

1回答

你能帮我理解这个答案吗？

我目前正在为考试而学习，并且遇到了一个关于正式语言的语法问题，我很确定教授的答案错了，我想听听你的想法。的问题提出了这个语法：的问题要求来定义，即使长度S（S的补码）的语言相反的，意思是形容规则是不被接受的，即使长度的所有字通过语法S. 他们的回答是这样的：我相信这个答案是错误的，因为单词“aaabab”也不会被S接受，不连接起来以自己为他们的答案描述了一个字。有什么想法？我在这里错过了

-1热度

2回答

找到一个正则表达式，其中a永远不会紧接着b（形式语言的理论）

我需要找到a，b和c的所有字符串的语言的简化正则表达式，其中a永远不会紧跟在后面湾我想什么，伸出直到（A + C）* C（B + C）* +（B + C）*（A + C）* 这是罚款，如果是的话可以这样简单？在此先感谢。

1热度

1回答

查找上下文无关语法（CFG）

给出一个上下文无关语法H，该语法生成语言 M = {a^m b^n | 2m> n> m}。 ' 提示：m不能为0，因为在这种情况下2m = m。 m不能是1，因为在这种情况下2> n> 1，这样的自然数n不存在。所以语言M中最短的字符串是aabbb。对于较长的字符串，您需要确保 bs的数量n和m的数量满足2m> n> m。

0热度

2回答

使用util订购合金使用/订购

我想了解如何在Alloy中订购。我有一个我用来实例化排序模块的时间签名。我希望谓词addPage在时间t'添加一个页面到书中，其中t'= t.next。（基本上在下一次添加页面到图书）然而，它不按预期工作，而是Time2的页面数量少于Time1。有人可以向我解释为什么会发生这种情况吗？谢谢。 open util/ordering[Page] as P0 open util/ordering[T

2热度

1回答

有没有办法找到在合金中运行“没有实例找到”的原因？

我用合金写过模型。但是，对于运行谓词来查找实例的某些条件失败，它说没有找到实例。我尝试增加约16个实例的绑定，但它没有找到任何实例。有没有什么办法可以调试这个，这样我就可以看到哪些事实失败，导致Alloy无法找到实例？谢谢！

0热度

1回答

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

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