计算理论是使用算法处理在计算模型上是否以及如何有效地解决问题的分支。该领域分为三个主要分支：自动机理论，可计算性理论和计算复杂性理论。 [维基百科]
我有一种上下文无关的语言，我必须为其创建上下文无关的语法以及下推自动机（确定性或非确定性）。我尝试使用不同的生产规则...
我正在为我的硕士论文编写用python编写的遗传算法。有关公司希望计算时间不超过1分钟。 GA将在Windows平板电脑上实现。 ...
让L（G）是上下文无关文法G生成的语言。以下决策问题是否可以确定？L（G）是否是确定性上下文无关语言？我了解了为什么出现以上问题...
我想知道如何判断一些正则表达式是否是另一个正则表达式的补充。假设我有2个正则表达式r_1和r_2。我当然可以创建一个DFA ...
我的问题听起来可能与你有所不同。我是初学者，我正在学习有限自动机。我正在互联网上搜索下面给定机器的有限自动机的正则表达式。 ...
我知道对于n> 0的anbn不是通过泵浦引理的常规，但是我认为a * b *是规则的，因为a，b不必是相同的长度。有证据证明它是正常的吗？
假设我有N个正值1-d函数。是否需要对数值最小化器进行更多的函数评估以最小化它们在N维空间中的乘积而不是N个体1d ...
DFA： - 所有字符串，使得每个五个连续符号的块包含至少两个0
我想为语言构造一个DFA：所有字符串的集合，使得每个五个连续符号的块包含至少两个0。如何记录最近5个条目。总之如何解决......
{a ^ m b ^ n：m +1≤n}我必须使用上述语言生成无上下文语言，但我不知道该怎么做。有人可以帮忙吗？
我在一本书（Hromkovic，通信复杂性和并行计算）中读到，存在无限数量的非递归 - 可枚举（非RE）语言，它们只由1个元素组成？ ...
我现在正在学习计算理论课程。我能很好地理解这些概念。我能够解决问题。而且，当我向我的导师询问现实世界的应用时，他告诉我......
设L是一种语言，R是无限常规语言。如果L交点R是常规语言，那么L也是常规语言吗？
设L1 = {a ^ nb ^ mc ^（n + m）/ n，m> 0}，L2 = {a ^ nb ^ nc ^ m / n，m> 0}。这是L3 =L1∩L2无上下文或不？
设L1 = {a ^ nb ^ mc ^（n + m）/ n，m> 0}，L2 = {a ^ nb ^ nc ^ m / n，m> 0}。这是L3 =L1∩L2无上下文或不？我的逻辑是如果n <m，如果n> m，则交叉将产生一种语言（a ^ n b ^ n c ^ n）...
{xwx | x€{a，b} +，w€{a，b} +}是常规还是CFG？在我看来，我可以把它写成（a + b）（a + b）+（a + b）。所以它应该是常规的，但我不确定。
在具有以下规则的常规语法中，S-> aS / aSbS /ε可以接受以下步骤：S-> aSbS-> a {aSbS} bS-> aa {aSbS} bSbS-> aaa {aSbS} bSbSbS我是否必须在每一步中更换每一个S或者......
将字符串解释为二进制Z≥0的数字（可能带有前导零，此处没有模运算）。 {0,1}上的以下语言是常规{xyz：| x | = | y | = | z |和x + y = z}？ ...
我试过这个S - > e（Epsilon）S - > SASBS S - > SBSAS A - > a B - > b有人可以验证这是否正确。
我需要通过将DFA（确定性有限自动机）转换为通用NFA（非确定性有限自动机）将此有限自动机转换为正则表达式。怎么应该去做呢？ ...
DFA的图片：https：//ibb.co/LCW99q9根据我的理解，任何字符串都被接受，只要它包含子字符串“abc”;之前的任何事情都没关系，之后的一切都没问题，包括“λ”。我......
如何显示语言{w | M_w接受0x，如果它接受1x}不是递归的？
我需要证明L = {w | M_w接受1x iff它接受0x}不是递归的我相信这应该是赖斯定理的一个简单应用，它表明对于任何非平凡属性P ...