计算理论是使用算法处理在计算模型上是否以及如何有效地解决问题的分支。该领域分为三个主要分支：自动机理论，可计算性理论和计算复杂性理论。 [维基百科]
设计一个FA以接受L，其中L =“ a”总是三倍出现的字符串
设计一个FA以接受L，其中L = {输入中Σ= {a，b}的字符串，其中'a'总是出现三倍的字符串}。这是我的解决方案（A为开始状态）：据我了解，问题不...
我为由符号0、1和2（Σ= {0,1、2}）组成的所有字符串的语言L构造了一个有限的自动机，其中最后一个符号不少于第一个符号。例如，字符串0，2012，...
考虑由符号0、1和2（Σ= {0，1，2}）组成的所有字符串的语言L，其中最后一个符号不少于第一个符号。例如，字符串0、2012、01231和102位于...
我如何通过Hoare逻辑证明一个有一段时间周期的程序的正确性。由于我要解决的问题是：...
我需要证明语言L（偶数）= {M：| L（M）|是什至}是不确定的。换句话说，语言L（EVEN）是所有图灵机的集合，所有图灵机都接受偶数...
在有向图中找到最长周期（按周期，我的意思是没有节点重排的周期）是一个NP难题，否则我们可以判断该图是否是哈密顿量。我的问题是：是否有...
例如，让我们证明L = {0 ^ n1 ^ n | n≥0}是不规则的。要证明一种语言是不规范的，请反驳以下任何一项：（1）| uv | ≤n（2）| v |对于所有i≥0的≥1（3）：uviw∈L，使得| uviw | > = n让...
我也认为，在最坏的情况下，当j = i或j = i ^ 2时，条件也只有两次成立，然后循环再运行i + i ^ 2次。在最坏的情况下，如果我们对内部2个循环求和，则将是theta（i ^ 2）+ i + ...
我想用python创建一个程序来执行自动机显示的功能。自动机的工作如图所示。我想让程序适合我想要的每个自动机。所以，我有dfa.txt，它是...
在数学集中，我们有A = {1,2,3} B = {4,5,6} AUB = BUA = {1,2,3,4,5,6} = {6,5,2， 3,4,1} //顺序无关紧要，但是在计算理论上，我们得到的aub要么是a要么是b，但两者都不都是...
表示数字99999999需要多少字节（和多少位）？我需要知道这一点：我们有一个尽可能简单的计算器，最多可以容纳8位数字，即0到99999999 ...
功能更强大的计算机（Turing Machine）能否确定一个问题，而乔姆斯基层次结构中功能较弱的计算机可以很好地解决这个问题
对于一组输入字母（a，b），将语言L定义为“所有2016个长度字符串的集合”。因此，第一种情况：有限自动机可以清楚地确定是否有任何输入超出了输入...
鉴于两种非常规语言，它们的联合是否正常？同样，为什么L = L1∪L2 = {aibj | i，j> = 0} L1的并集= {aibj | i> = j}和L2 = {aibj |我
鉴于两种非常规语言，它们的联合是否正常？另外，为什么i，j> = 0的𝐿1= {aibj | i> = j}和𝐿2= {aibj | i ...
DataLog尚未完成图灵化。但是它是什么计算类？它等同于有限状态机还是下推机（即上下文无关）...还是介于两者之间？
有关本科计算机科学的主题。在回顾该理论时，我遇到了一个麻烦的问题，关于（0 m）的问题，在lambda演算中，教堂的数字取幂。据我...
是否有一种算法可以解决以下决策问题：给定一个由其转移矩阵定义的强连通加权有向图G，是否存在一个强连通的跨度...
考虑语言，考虑语言Aabb = { | M是TM，M接受abb} a）Aabb代表的计算问题是什么？ b）证明亚伯是不可决定的。我...
请考虑一种“堆栈翻转机”变体，该变体可以使用无限个磁带和一个堆栈进行操作。在遍历磁带的每一步中，机器都会从当前磁带位置和顶部读取输入内容。