计算理论是使用算法处理在计算模型上是否以及如何有效地解决问题的分支。该领域分为三个主要分支：自动机理论，可计算性理论和计算复杂性理论。 [维基百科]
我正在使用很多正则表达式，偶然发现了正则表达式实际上无法描述的问题。我想到的第一个例子是匹配像XOOXXXOOOOXXXXX ......这样的字符串......
在这个论坛中有一个关于这个练习的问题，但它没有回答我的具体问题。本练习要求绘制环境图（定义x（缺点1 2））（定义z（...
我在下面绘制了这个图表。但我想确定答案为+和*运算符令人困惑。 _ | \ - > q_ | - 0,1，E这里我的DFA只有一个状态q。 0,1都是空的......
我知道$ E_ {LBA} $ = {<M> | L（M）= \ emptyset} $是一种不可判定的语言，但它是否也可识别？似乎它的补码是可识别的，因为它可以枚举所有字符串和......
XOR联合形式定义如下：（一个XOR b）和（c XOR d）......等等，SAT-XCF是由可满足的先例（XOR联合）表达式定义的语言。我会 ...
字母Σ上的语言L主要是素数，当且仅当对于每个长度l，如果l是素数，则长度l的大多数字符串属于L，但如果l是复合，则不属于L ...
我在过去的试卷中给了我以下问题。我理解解决方案（有点？）但想知道是否有人知道解决方案是如何实际生成的（或者更容易...
我有一种语言，语言中的每个字符串都有0的偶数为1（例如，0101,1010,1100,1211,10都在语言中）。我希望定义一个无上下文的语法......
我希望算法在一个具有已知尺寸的大二维数组中分配一组数字，如（0,1 ... 15），而不以相邻数字为例：0 1 2 3 4 5 6 7 8 9 10 11 ......
给定两个向量u =（ux，uy，uz）和v =（vx，vy，vz），计算最便宜的方法是检查它们是平行还是几乎平行（给定一些阈值来近似），假设... 。
我想看看是否有一种方法可以在数据库的一列中存储单个值，但是在读取时，它可以被解释为数据库中的四列。我有正方形，有四面。一世 ...
我很困惑，也无法在网上找到答案，但在表达能力方面，。非确定性FA，PDA，TM NFA <NPDA <NTM确定性FA，PDA，TM：这就是我...
我需要帮助为下面的语言构建左线性和右线性语法？ a）（0 + 1）* 00（0 + 1）* b）0 *（1（0 + 1））* c）（（（01 + 10）* 11）* 00）*对于a）我有以下：左线性S - ＆...
问题陈述：找到可以从给定的莫尔斯码序列中产生的“仅元音”字符串的数量（必须使用整个字符串）我有这个当前的递归解决方案。我想要 ...
我正在上课计算理论，而且我在正则表达式中并没有完全理解ε。例如，我的教科书说下面的RE可以这样简化（U ...
对于任何局部搜索算法，可以在多项式时间内完成在邻域中搜索的一步吗？
由于找到局部最优解决方案可能比找到最优解决方案更容易，我们可以声称对于任何本地搜索算法，在邻域中搜索的一个步骤总是可以...