计算理论是使用算法处理在计算模型上是否以及如何有效地解决问题的分支。该领域分为三个主要分支:自动机理论,可计算性理论和计算复杂性理论。 [维基百科]
为 { 0 ^ (3 ^ n) | 构建枚举器(打印机) n >=0} 最多有 10 个状态,包括打印和停止,有限的字母表?
我的任务是为语言 {0 ^ (3 ^ n) | 构建一个枚举器(一种图灵机,它也可以打印到输出磁带并通过进入打印状态来输出)。 n >= 0} 其中: 1) 数量...
我无法概念化如何开始解决这个问题。 我能够创建一个图灵机,将两个一元数和两个二进制数相加。 我对如何解决这个问题有了大致的了解
我无法概念化如何开始解决这个问题。 我能够创建一个图灵机,将两个一元数和两个二进制数相加。 我大致了解如何解决...
构造一个图灵机,删除每隔一个输入符号,然后将剩余的字符串合并成一个没有空格的字符串
示例输入:010101,输出:000 示例输入:10011,输出:101 示例输入:11101101,输出:1110 在为这个问题绘制状态图时,我对如何合并输入感到困惑......
计算大量数据(4000+)的排名,这些数据根据所选的日期范围和排序依据而变化
我有一大组数据,4000行+。每行都与每天收集的指标数据相关联。指标表超过 110 万行。 例如: 项目表: ID 物品 1 你好 2 世界...
Starlark 配置语言不支持无限循环、递归或用户定义的数据类型,但支持函数。文档表明这意味着该语言不是图灵语言
显示语法。 S->aS|aSbS|Ɛ 是有歧义的,求无歧义语法
我有这个问题: 显示语法。 S->aS|aSbS|Ɛ 是有歧义的,求无歧义语法。 我尝试从互联网上学习任何有关歧义语法的知识,但大多数......
令 FT 为 {0,1} 上所有有限语言的类。 假设 FL 是可数的,因此我们可以将 FL 的所有成员枚举为 FL = {L_0, L_1, L_2, ...} 同时,我们还枚举了
平衡括号和中括号,其中右括号还关闭所有未完成的左括号(直到前一个左括号)
下面的问题来自书:《C 语言中的现代编译器实现》,chapter03, 3.3.(d) 为平衡括号和方括号编写明确的语法, 其中右括号也
我有这个有限自动机(FA)并且想编写它的语言。我想这是 L={x E {0,1} | L={x E {0,1} | {x 的子集为 00,以 1 结尾},这将有助于了解 FA 的类型。 我认为这是 DFA
设计一个包含所有0和1字符串的PDA,使1的数量是0数量的两倍
在准备期末考试时,我在 J. Hopcroft、R. Motwani、J. Ullman 的《自动机理论、语言和计算》第 222 页上发现了这个问题。 PDA 应该接受其中国家/地区的字符串...
在深度 Q 学习中,让目标网络跟随主网络,并每 100 步左右同步它们似乎是常见的做法,但我不清楚为什么会这样。 最好的解释...
本 pdf 第 5 页的问题。 提供一个识别该语言的 NFA (01 U 001 U 010)* 我认为这是错误的,因为应该有一个额外的开始状态(接受)进入状态 1 fo...
问题在这里 在这个问题中,您必须决定是否可以使用字符串来证明语言不规则,而不是用泵引理证明语言不规则。 我是...
我遇到过许多串联和叉积的例子,但我仍然很难弄清楚何时使用它们。由于两者都结合了任何两种语言的属性......
需要字母表 {a,b} 的 DFA,使得该语言必须包含相等且偶数的 a 和 b
偶数个和 b 的 DFA 是偶数个 a 和 b 的 DFA,但是偶数个和相等个数的 a 和 b 的 DFA 不可用 L={ psilon,aabb,abab,baba,bbaa,aaaabbbb,aabbaabb,bbaabbaa,
L= { a^n b^m c^m d^2n } 的上下文无关语法,其中 n 和 m >= 0
问题:为 L= { a^n b^m c^m d^2n } 设计上下文无关语法,其中 n 和 m >= 0 这就是我的制作方法: s -> ABC (这是生成整个字符串的起始符号。) 一个->...
如何使用chomsky找到该语言的语法:La = {ww^r: w e {0,1}^*, w结尾为1}? 这是我的解决方案: S -> 0S0|1S1| 0|1|E(ε) 我可以在这里改变什么或者解决方案是
在这篇令人费解的SE帖子中,有一个内部无限嵌套的迷宫。受此启发,考虑以下图形问题: 设置: 具有顶点 V 和无向边 E 的图 G 还有
如果您已经有了算法的伪代码,它们是否有任何有用的指导来描述图灵机的功能? 我正在学习复杂性理论课程,我需要一段时间才能