formal-languages

0热度

1回答

你好，我不明白为什么在assgnStmt生产中存在冲突。我正在使用coco/R，并在“assgnStmt：ID is start & successor of deletable structure”中得到“LL1警告”。谢谢。 COMPILER program CHARACTERS Letter= 'a'..'z'. Digit= '0'..'9'. TOKENS NUM= Di

-2热度

2回答

Java正则表达式匹配次数substring/char出现在字符串中的次数

我正在编写一个程序来识别有效（由用户定义）表达式，并且我需要能够匹配特定字符匹配的次数一部分与另一部分。例如，如果我使用的PQ系统，在 (some number of dashes)p-q(some number of dashes) 的p具有前划线的数目对于q（对于任何数量的短划线）后匹配破折号的数量为它是一个有效的表达。我试图让这个健壮/普及（用户定义的规则，你可以用*代替 - ，你可以

2热度

1回答

两种语言的交集是什么？

鉴于语言 L1={anb2m|n,m≥1} L2={anb3n|n≥0} L = L1 ∩ L2 我知道L1是正规语言和L2可以通过PDA来表示。但我不明白其中指出L是{a2nb6n|n≥1}答案。这个解决方案如何计算？

1热度

1回答

必要性的“腐”操作

的为什么第四实施rot运营商，以及为什么它正好运行堆栈的三个最上面的项目？难道仅仅是为了方便或将第四不图灵完全没有这样的指令？图灵完成的最低可行选项是三个数字吗？我可以想象一个人可以实现rot与pick或roll。所以如果没有这三个操作，它是否仍然是图灵完备？

1热度

1回答

如何判断一种语言是否是一见钟情的？

我的教授期望我们能够快速判断一个给定的语言是否是规则的，上下文无关的，但不是常规的，或者没有上下文无关的（换句话说，没有绘制PDA，编写上下文无关文法，并使用抽象引理用于上下文无关的语言）。我知道提示，可以帮助我们快速判断常规语言一见钟情，但不知道语言是否无上下文。谢谢。

1热度

1回答

Sense/Net ECM背后的正式模型是什么？

首先，我不知道这是否是讨论与Sense/Net SN进化相关的想法的理想地点&关于它的学习过程！无论如何，这是我的故事：我已经试过&测试了一些SN的功能尤其是内容类型定义CTD;它真的很优雅！感知/净维基文档给我们“知道如何”，我们可以编写200个关于SN的维基页面。所有包含的信息是真实的。但是，我们没有完整的模型可以看到整个系统模型以及如何从中推导出所有案例。我搜索了SN codeple

1热度

1回答

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

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

0热度

1回答

是否有任何VDM-SL工具箱教程

我正在尝试使用VDM-SL工具箱，但找不到任何教程。如果有人有任何教程，请分享。谢谢

-2热度

1回答

正则表达式 - 它们是相同的正则表达式？

我有两个问题。这些正则表达式是相同的吗？（1）的b *（AB *）*和（b * a）个* b *表（2）的b *（AAAB *）*和（b * AAA）* b *表我觉得他们都创造了具有世界回文的语言。是对的吗？在第一个中，a和b都是零或无限。第二个是一样的。字符串aaa在两者中都是必须的，而b是零或无限的。我对不对？

0热度

1回答

如何生成这个上下文无关语法的第一组