computation-theory 相关问题

计算理论是使用算法处理在计算模型上是否以及如何有效地解决问题的分支。该领域分为三个主要分支:自动机理论,可计算性理论和计算复杂性理论。 [维基百科]

平衡括号和中括号,其中右括号还关闭所有未完成的左括号(直到前一个左括号)

下面的问题来自书:《C 语言中的现代编译器实现》,chapter03, 3.3.(d) 为平衡括号和方括号编写明确的语法, 其中右括号也

回答 1 投票 0

一个具有挑战性的有限自动机 - 语言是什么?

我有这个有限自动机(FA)并且想编写它的语言。我想这是 L={x E {0,1} | L={x E {0,1} | {x 的子集为 00,以 1 结尾},这将有助于了解 FA 的类型。 我认为这是 DFA

回答 1 投票 0

设计一个包含所有0和1字符串的PDA,使1的数量是0数量的两倍

在准备期末考试时,我在 J. Hopcroft、R. Motwani、J. Ullman 的《自动机理论、语言和计算》第 222 页上发现了这个问题。 PDA 应该接受其中国家/地区的字符串...

回答 5 投票 0

Deep Q 学习中目标网络尾随的有效性有数学证明吗?

在深度 Q 学习中,让目标网络跟随主网络,并每 100 步左右同步它们似乎是常见的做法,但我不清楚为什么会这样。 最好的解释...

回答 1 投票 0

NFA 代表语言之星 (01 U 001 U 010)*

本 pdf 第 5 页的问题。 提供一个识别该语言的 NFA (01 U 001 U 010)* 我认为这是错误的,因为应该有一个额外的开始状态(接受)进入状态 1 fo...

回答 1 投票 0

为常规语言泵送引理证明

问题在这里 在这个问题中,您必须决定是否可以使用字符串来证明语言不规则,而不是用泵引理证明语言不规则。 我是...

回答 1 投票 0

有限自动机中任意2种语言的串联和叉积有什么区别?

我遇到过许多串联和叉积的例子,但我仍然很难弄清楚何时使用它们。由于两者都结合了任何两种语言的属性......

回答 2 投票 0

需要字母表 {a,b} 的 DFA,使得该语言必须包含相等且偶数的 a 和 b

偶数个和 b 的 DFA 是偶数个 a 和 b 的 DFA,但是偶数个和相等个数的 a 和 b 的 DFA 不可用 L={ psilon,aabb,abab,baba,bbaa,aaaabbbb,aabbaabb,bbaabbaa,

回答 1 投票 0

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 (这是生成整个字符串的起始符号。) 一个->...

回答 1 投票 0

如何找到该语言的语法?

如何使用chomsky找到该语言的语法:La = {ww^r: w e {0,1}^*, w结尾为1}? 这是我的解决方案: S -> 0S0|1S1| 0|1|E(ε) 我可以在这里改变什么或者解决方案是

回答 1 投票 0

“嵌套迷宫”问题的复杂性/可判定性?

在这篇令人费解的SE帖子中,有一个内部无限嵌套的迷宫。受此启发,考虑以下图形问题: 设置: 具有顶点 V 和无向边 E 的图 G 还有

回答 1 投票 0

设计图灵机的状态表

如果您已经有了算法的伪代码,它们是否有任何有用的指导来描述图灵机的功能? 我正在学习复杂性理论课程,我需要一段时间才能

回答 3 投票 0

DFA 适用于具有偶数个 0 或恰好包含两个 1 的所有二进制字符串

这个问题我有点困惑。我试图自己想出一个解决方案,到处引用了一些类似的问题,但我不确定这是否正确。建立 NFA...

回答 1 投票 0

这个 DFA 是否满足给定语言的补集?

我收到了这个挑战: 给定 𝐿 = { 𝑤 ∊ {0, 1}* :01 是 𝑤 } 的子串 表现𝐿赞美是有规律的。 我的理解是,对于这种语言的赞美,DFA 需要拒绝 01

回答 1 投票 0

您能否验证我的 DFA 是否满足给定的语言?

问题: 给定 L = { w ∊ {0, 1}^* : 01 是 w 的子串} 表现出L的赞美是有规律的。 解决方案 所以基本上这种语言的优点就是 01 个子串在我们的 DFA 中被拒绝。 我在这里...

回答 1 投票 0

将初始状态下任何输入字符缺少转换的 NFA 转换为 DFA

我正在练习 NFA(非确定性有限自动机)设计并将它们转换为 DFA。 然后突然我有了一个疑问,因为我见过的所有转换示例都有 NFA 的初始状态...

回答 1 投票 0

TOC问题:上下文无关语法设计

我想为一种由以下定义的语言设计 CFG L = { w | {a,b,c}* 其中 w= a^i b^j c^k 且 i+j>k } i+j=k 的情况很容易,但是我无法弄清楚 i+j>k 的情况如何。

回答 1 投票 0

如何为语言 L = {1^(2n)#0^n | 创建下推自动机n >= 0}?

我需要专门解决这个问题的帮助,我得到了语言: 大号 = {1^(2n)#0^n | n >= 0} 并且我必须从中创建一个下推自动机。 所以,我的第一个想法就是做同样的事情......

回答 0 投票 0

使用分治法或任何其他算法解决问题[关闭]

1。 Engineering block (RSEB) 的广播电台收到来自以下广播电台的大量请求 CDU 中的各个部门在无线电频率 99.8 FM 上传输。 RSEB很高兴 授予...

回答 0 投票 0

找到这种语言的语法:a^(2k+z).c。 b^(k) 。 ^(z)

所以我想找到这种语言的语法:a^(2k+z).c.b^(k).a^(z) 我只是到了这一点: `S - aaSa/X X-aXa/Y Y-c` 所以这会产生这样的词: aaaa.c.a.bb 那么我该如何切换...

回答 1 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.