腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
递归可枚举
语言
与
图灵
完全
语言
的关系与区别?
、
、
来自https://en.wikipedia.org/wiki/Recursively_可计数_
语言
形式
语言
称为递归可枚举
语言
(也是可识别的、部分可判定的、半可分辨的、
图灵
可接受的或
图灵
可识别的),如果它是
语言
字母表上所有可能单词集合中的递归枚举子集,即如果存在
图灵
机,该机器将枚举
语言
的所有有效字符串。因此,递归可枚举
语言
和
图灵
完全
语言
都是用
图灵</
浏览 0
提问于2016-09-30
得票数 2
1
回答
不管怎么说,要知道维博能做什么,不能做什么,比坚实吗?
、
、
然而,有一件事让我有些担心,那就是Vyper不像稳定的
语言
,它不是
图灵
的完整
语言
。现在,从我在学校时学到的知识来看,任何一种
图灵
完整
语言
在数学上都能做到任何其他
图灵
完整
语言
都能做到的事情。这意味着我知道,至少在理论上,
C
、
C
++、Java、JavaScript可以完成的任何事情,稳健性也可以实现。唯一的限制是块气体限制(这是所有计算机程序都需要使用的资源限制),
语言
本身是不受限制的,就像Brainfuck在数学上被证
浏览 0
提问于2018-08-21
得票数 2
2
回答
今天有主流的通用非
图灵
语言
吗?
、
非
图灵
完全
语言
提供了一个巨大的优势,比
图灵
全
语言
,因为它们更易于分析,因此,提供了更广泛的优化可能性。然而,它们几乎没有被使用,
图灵
完整性实际上是一个很好的特性。今天有什么主流的非
图灵
通
语言
可供通用编程使用吗?
浏览 0
提问于2013-06-24
得票数 20
1
回答
用Python实现的
语言
?
、
、
、
、
AFAIK、Scala和Clojure是用Java实现的,Java是用
C
实现的。我假设许多或大多数
语言
都是用
C
实现的,例如Perl、Python和SQL。我对
语言
实现知之甚少,但也许您可以告诉我一种实现
语言
Java而不是另一种
C
的基本原理? 是否有关于一种
语言
实现另一种
语言
的理论,或者我们是否求助于
图灵
机理论,其中一种
语言
被认为是
图灵
机?
浏览 0
提问于2013-09-10
得票数 1
2
回答
为什么有有限数量的
图灵
机?
、
、
、
在Michael对计算理论的介绍中,他说:
图灵
机不是一台可以模拟任何计算机算法的假想机器吗?理论上你不是可以想出无限多的算法吗?
浏览 3
提问于2013-04-09
得票数 5
回答已采纳
1
回答
使用类型系统实现计算模型
使用任何现有的
语言
类型系统实现任何像
图灵
机那样强大的计算模型。当然欢迎您使用需要编译器选项才能激活的可选类型系统特性。例如,在实现脑盘中有一个
C
++模板元编程。事实上,brainfuck比需要的更复杂,因为它提供了与磁带分离的用户IO。一些简单的计算模型包括Brai
浏览 0
提问于2012-03-30
得票数 4
2
回答
自然数和可识别与可分辨之间的区别?
、
我从数学交换中找到了以下解释 我真的看不出两者有什么区别。
图灵
机器只接受一种
语言
中的字符串与
图灵
机器在一种
语
浏览 8
提问于2014-02-09
得票数 0
回答已采纳
1
回答
如果我正在编写一种新的编程
语言
,我应该编译成汇编
语言
还是
C
?
、
、
我正在编写一种基于与通常使用的数学模型不同的数学模型的
语言
。如果我使用
C
,嗯,我不确定我能不能,因为与
C
相比,模型是如此的不同。但是如果我使用汇编代码,它就不能移植,不是吗?有没有一种通用的汇编
语言
可以抽象到我不知道的所有架构上?还是我错过了什么?我认为如果
C
是
图灵
完成的,那么我应该能够编译成它,如果我的
语言
是
图灵
完成的话…汇编
语言
比
C
语言
更强大吗?如果我想要一种编译
语言
,编译成汇
浏览 0
提问于2012-09-23
得票数 4
1
回答
图灵
机状态表的设计
、
、
如果您已经有了该算法的伪代码,那么对于描述
图灵
机器会做什么,它们有什么有用的指南吗?我不想制作
图灵
机模拟器,我想在纸上描述
图灵
机(字母表,状态,转换)来决定某种
语言
。现在,在一种高级
语言
中,您知道它是这样的:
浏览 1
提问于2010-01-20
得票数 3
回答已采纳
3
回答
基于堆栈
语言
的
图灵
完备性证明
、
、
我正在写一种基于堆栈操作的笑话
语言
。我试图找到使它完成
图灵
所需的最小数量的指令,但不知道基于一个堆栈的
语言
是否可以是
图灵
完整的。这些指令够了吗?编辑:通过添加ROTATE命令(将堆栈的前三个值从A B
C
更改为B
C
A)并消除DUPLICATE、PLUS和SWAP命令,可以实现的3个字符版本。这足以证明
图灵
完备吗? 如果有
图灵
市完整的没有变量或函数的单栈
语言
的例子,那就太好了。
浏览 6
提问于2017-07-02
得票数 3
回答已采纳
1
回答
图灵
完全并行编程(真正的并发性)
、
、
我经常看到人们说,如果你能用某种
语言
做X,你可以用另一种
语言
做Y,这就是
图灵
完整的论点。因此,您经常会(通常是在冷嘲热讽的评论中)“确定您可以不使用y,因为y也是
图灵
完整的。我很久以前就采用了CS理论,但我不认为这总是正确的,因为我不知道
图灵
是否适合并发。例如,有一些具有正确硬件的编程
语言
,您可以精确地同时执行一些事情,但在其他不可能执行的情况下则是不可能的。我知道这可能是硬件/驱动程序的问题,而不是
语言
的问题,但我想知道并发是否或如何改变
图灵</em
浏览 4
提问于2011-08-28
得票数 7
回答已采纳
2
回答
寻找
图灵
不完整的
语言
、
、
我对什么是
图灵
和
语言
略知一二,但为了更好地理解,有没有人能给出一些不完整的
图灵
语言
的例子?(也许甚至不是
图灵
的机器也是如此?)
浏览 7
提问于2010-08-30
得票数 8
回答已采纳
1
回答
图灵
-可判定
语言
和
图灵
-可判定机器。不同?
、
我有一个
图灵
机M,我已经证明了M不是一个决策者。然后,我已经证明了A=L(M)或M识别的
语言
A。我现在被问到“
语言
(A)
图灵
是可决定的吗”。我的问题是,如果我已经证明了M不是一个决策者,我能不能用这一点来暗示
语言
(A)不是
图灵
可决定的?在我看来,机器M的
语言
不仅包括可接受的
语言
,还包括永远不会停止的无限长字符串。这将使
语言
也不是
图灵
-可决定的? 谢谢你的建议。
浏览 6
提问于2019-05-10
得票数 0
2
回答
为什么我们还没有一种完全通用的
语言
呢?
、
、
、
非
图灵
完全
语言
可以解决
图灵
全
语言
所能解决的每一个实际问题.而且,它们比
图灵
完整
语言
更具可分析性。然而,没有人试图设计一种像COQ这样的非
图灵
完整
语言
,它既实用又实用。为什么?
浏览 0
提问于2013-08-09
得票数 3
1
回答
是否有可能创建一个通用的中间编程
语言
?
我的意思是,是否有一种
语言
或者一种
语言
可以被设计成所有高级编程
语言
都可以编译成这种中间
语言
? 这不包括机器
语言
。
浏览 4
提问于2015-05-09
得票数 3
回答已采纳
3
回答
图灵
决策与协同决策的差异
、
、
从我的教科书中,它从本质上描述了两者之间的区别我想这个定义中我不明白的部分是:当它是
图灵
可识别
语言
的补充时,它意味着什么?你如何准确地判断它是否是另一种
语言
的补充?
浏览 17
提问于2012-04-05
得票数 19
回答已采纳
1
回答
将一种
语言
分类为
图灵
可识别或共同
图灵
可识别。
我有这种
语言
我能够证明这种
语言
是无法分辨的。但这种
语言
是
图灵
-可识别还是共同-
图灵
-可识别?
浏览 4
提问于2017-05-15
得票数 1
回答已采纳
1
回答
图灵
机接受三个字符字母中的字符串
、
我需要创建一个
图灵
机器,它接受
语言
a^1b^j^
c
^ k,其中我>= j >= k,但我甚至不知道如何开始。
图灵
机器在这种情况下是一个难以理解的概念,对我来说,因为某种原因。
浏览 0
提问于2019-03-29
得票数 1
回答已采纳
1
回答
两种
图灵
可判定
语言
的交集是
图灵
可判定的
、
、
证明两种
图灵
可判定
语言
的交集是
图灵
可判定的。(给定决定每种
语言
的算法,描述确定字符串是否属于交集的算法。) 我知道,如果有一种算法来决定成员资格,一种
语言
是
图灵
可决定的。
浏览 1
提问于2015-12-06
得票数 1
2
回答
如何确定一种
语言
是递归的还是递归可枚举的?
、
、
、
我必须确定一种
语言
(例如L={a^n b^m
c
^s | 0<=n<=m<=s})是常规的、上下文无关的、递归的、递归枚举的,还是两者都不是。我知道如何确定一种
语言
是正则的(找到可以工作的DFA或正则表达式)还是上下文无关的(找到可以工作的PDA或上下文无关的语法);我知道递归
语言
有一台总是挂起的
图灵
机,递归可枚举的
语言
有一台可能不会挂起的
图灵
机所以问题是:有没有一个快速的标准来确定
语言
是递归的还是递归的可枚举的,或者两者都不是?例如
浏览 1
提问于2011-02-17
得票数 12
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
C语言,C+语言
C语言小白入门《一》——C语言简介
C语言编程之C语言加密字符
C语言推箱子源码分享,C语言兴趣视频教程,C语言编程,C语言可视化编程
漫谈C语言及如何学习C语言
热门
标签
更多标签
云服务器
ICP备案
对象存储
实时音视频
云直播
活动推荐
运营活动
广告
关闭
领券