寻找非图灵完备的语言

2024-02-10

我知道一点什么是a图灵机 /questions/tagged/turing-machine and a 图灵完备 /questions/tagged/turing-complete语言,但为了更好地理解,有人可以举出非图灵完备的语言的例子吗? (甚至可能不是图灵机?)


正则表达式,在正式定义中,仅包含:

  • 连接 ( ab )
  • 无限重复 (a*)
  • 交替 (a|b)
  • 分组 ( (ab)|(cd) )

只能识别常规语言。图灵完备的编程语言可以识别递归可枚举语言。

一个例子是正则表达式无法告诉您字符串是否由匹配的括号对组成:例如()(())被接受,同时()((())()被拒绝,而图灵完备的编程语言可以。

(请注意,现代编程语言中的正则表达式比正则表达式的正式学术定义更强大。有些甚至可能是图灵完整的。)

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

寻找非图灵完备的语言 的相关文章

  • 有哪些鲜为人知但有用的数据结构?

    Locked 这个问题及其答案是locked help locked posts因为这个问题是题外话 但却具有历史意义 目前不接受新的答案或互动 有一些数据结构确实有用 但大多数程序员都不知道 他们是哪些 每个人都知道链表 二叉树和哈希 但
  • 如何在 Windows 7 上查找 MAC 地址? [关闭]

    Closed 这个问题不符合堆栈溢出指南 help closed questions 目前不接受答案 我可以使用命令找到我的机器的MAC地址ipconfig all在命令提示符下 网络上到处都说物理地址是MAC地址 这是命令的结果ipcon
  • 什么是“补码”?

    我正在学习计算机系统课程并且已经挣扎 部分地 与二进制补码 http en wikipedia org wiki Two 27s complement 我想理解它 但我读过的所有内容都没有为我提供完整的图片 我读过维基百科文章 http e
  • 非 NP 完全的 NP 困难问题更难?

    根据我的理解 所有 NP 完全问题都是 NP 困难问题 但已知某些 NP 困难问题不是 NP 完全问题 并且 NP 困难问题至少与 NP 完全问题一样困难 这是否意味着非 NP 完全的 NP 困难问题更难 以及如何更难 要回答这个问题 首先
  • 变量声明与变量绑定相同吗?

    MDN 文档 https developer mozilla org en US docs Web JavaScript Reference Statements let状态 let 绑定是在包含的 块 范围的顶部创建的 该声明通常称为 吊
  • 抽象代数和编程[关闭]

    Closed 此问题正在寻求书籍 工具 软件库等的推荐 不满足堆栈溢出指南 help closed questions 目前不接受答案 我要开始学习抽象代数 群 环等 我有兴趣了解任何编程语言 如果有的话 可以帮助我学习 尝试我在理论上学到
  • 实现这个复合 GetHashCode() 的最佳方法是什么

    我有一个简单的课程 public class TileName int Zoom X Y public override bool Equals object obj var o obj as TileName return o null
  • 创建n个节点和L个叶节点的AVL树的几种方法

    我想知道创建具有 n 个节点和 L 个叶节点的平衡二叉树的多种方法 我也知道 n 必须是 2 L 1 平衡二叉树是这样一种树 对于给定的任何节点 该节点的两个子树的高度最多相差一 所以节点数不一定是2 L 1 如果一棵树有 2 L 1 个节
  • 使用信号量实现 N 进程屏障

    我目前正在为之前迭代的操作系统考试进行培训 我遇到了这个 实施 N 进程屏障 即 是 确保每个流程都完成 他们中的一群人在某个时刻等待着 点在其各自的执行中 对于 其他进程达到他们的 给定点 您有以下内容 可用操作 init sem val
  • 一种语言可以在不支持数组的情况下实现图灵完备吗?

    如果一种语言有控制结构和变量 但不支持数组 列表 内存访问和分配等 它能是图灵完备的吗 也许如果您可以创建的变量数量没有限制 您可以通过创建变量来模拟数组 例如array 1 array 2 array 6000并手动循环它们 并以某种方式
  • 字节顺序、“最高有效”和“最低有效”

    我在网上阅读了描述大端和小端的描述 然而 它们似乎基本上都以相同的方式读取 我仍然对 最多 和 最少 有效字节的实际实现感到困惑 据我了解 小端值首先评估 最低有效 值 而在大端值下 首先评估 最高有效 字节 但是 我不清楚 最 和 最不
  • 二叉搜索树的定义中是否允许重复键?

    我正在尝试找到二叉搜索树的定义 并且我一直在到处寻找不同的定义 有人说对于任何给定的子树 左子键小于或等于根 有人说对于任何给定的子树 右子键大于或等于根 我以前的大学数据结构书上说 每个元素都有一个键 并且没有两个元素具有相同的键 bst
  • 在 RAFT 中,是否有可能对某个日志条目达成多数共识,但该条目尚未提交?

    考虑一下官方的这个模拟筏网页 https raft github io Why is term 2 index 1尽管没有承诺S2 leader S3 and S4同意日志吗 我运行了几分钟以确保所有通信均已完成 奇怪的是 如果我再添加一个
  • 如何使用动态规划确定最长递增子序列?

    我有一组整数 我想找到最长递增子序列 https en wikipedia org wiki Longest increasing subsequence该集合使用动态规划 好的 我将首先描述最简单的解决方案 即 O N 2 其中 N 是集
  • 将 EBNF 转换为 BNF

    我的计算机语言课已经过去几年了 所以我已经忘记了 BNF 和 EBNF 的要点 而且我身边也没有教科书 具体来说 我忘记了如何将 EBNF 转换为 BNF 据我所知 我知道要点之一是转换 term into
  • 与编程语言/API 相关的常用“语义”的简单定义?

    今天我突然想到 虽然我在提到语言元素和命名约定时已经采用并且不经常使用 语义 一词 但我对正式定义没有任何感觉 我试图在编程领域找到一个正式的定义 http en wikipedia org wiki Formal semantics of
  • 装箱(或背包?)问题

    我收集了 43 到 50 个数字 范围从 0 133 到 0 005 但大部分都比较小 如果可能的话 我想找到 L 和 R 之和非常接近的所有组合 The brute force method takes 243 to 250 steps
  • 正则表达式中的顺序不重要吗?

    我正在查看此 stackoverflow 链接中提出的问题 奇数个 a 的正则表达式 https stackoverflow com questions 28902496 regular expression for odd number
  • 强连通分量有什么用?

    我发现了几种可以解释的算法how在有向图中找到强连通分量 但没有解释why你会想要这样做 强连通分量有哪些应用 您应该查看 Coursera 上 Tim Roughgarden 的算法简介课程 对于他所讨论的每一种算法 他都会解释其一些应用
  • 递归和大O

    我最近正在完成一项涉及递归和大 O 表示法的计算机科学作业 我相信我很好地理解了这一点 虽然当然不是完美的 但是有一个问题给我带来了最多的问题 奇怪的是 一看就知道是作业上最简单的一个 使用大哦符号提供最佳增长率来解决以下递归问题 T 1

随机推荐

  • 为什么我们应该使用DataTemplate.DataType

    当我创建资源时 我们指定其中的数据类型
  • 源代码中字符串文字的字符编码问题

    logstring Invoke Command ComputerName filesServer ScriptBlock param logstring grp Klassenbuchordner KB grp Gruppe Gruppe
  • 使用 webpack 定义全局变量

    是否可以使用 webpack 定义一个全局变量来产生如下结果 var myvar 我看到的所有示例都使用外部文件require imports jquery file js 有几种方法可以处理全局变量 1 将变量放入模块中 Webpack
  • android中变量的全局声明

    我是android开发的新手 我正在通过SAX解析器解析xml文件并将解析的数据存储到字符串中 现在我需要在另一个类中使用该字符串 所以我需要知道如何在新类中调用该解析器 提前致谢 我总是创建一个包含所有全局变量的类 并将其称为 Const
  • OpenCV 中的照明标准化

    我正在做一个人脸识别项目 我有不同光照的图片 所以我需要进行光照标准化 我读了一篇声称可以进行照明归一化的论文 本文描述了以下功能和值 1 伽玛校正 伽玛 0 22 高斯差分 DOG 过滤 sigma 0 1 sigma 1 2 3 对比度
  • 如何使用函数创建二维数组?

    我正在尝试定义一个二维数组 但我想在函数中执行它 这是我的代码 int createArray int columns int rows int array rows for int i 0 i lt rows i array i new
  • 在 Fortran 中逐行读取逗号分隔的文本文件

    我是一名 Fortran 新手 我希望能够读取文本文件并将其内容保存在各个变量中 我发现了一个非常有用的 Fortran 教程 http www math hawaii edu hile fortran fort7 htm read htt
  • 向多个用户发送 Firebase 通知

    我正在尝试通过 Firebase 发送通知 但它不起作用 我只想将 Firebase ID 发送给所有注册用户 并将其存储在 MySQL 中 EDIT 这是下面的代码
  • 按钮可能会产生空指针异常(Android Studio)

    我是 Android Studio 的新手 我以为我做得还不错 但昨晚遇到了一个错误 尽管我尽了最大的努力 但我似乎无法修复该错误 我的一项活动上的按钮 可能会产生 java lang NullPointerException 但每次按下它
  • 如何在 Android 应用程序中使用 3G 互联网连接?

    我制作了一个应用程序 可以连接到我在服务器上运行的程序 但它似乎只适用于 WiFi 当我尝试使用 3G 时 却无法建立连接 为了使用 3G 我必须打开或设置什么特殊功能吗 在应用程序级别 您 通常 不必担心手机可以使用哪些数据连接 您是否研
  • Fragment popbackstack触发lifecyclescope收集

    情况 我提交数据setTripDeliver 收集工作正常 触发加载 然后触发成功 我按下一个按钮转到下一个片段 B 使用replace 之后 我按后退按钮 使用popbackstack 收集成功已触发 相关代码 这些代码位于Fragmen
  • 具有 iCloud 设计的核心数据

    我使用的是 iOS 7 想要通过 iCloud 使用核心数据 这运行良好 我想要一些输入的问题如下 我的一些核心数据对象具有相关的图像 大型文本文件 我将它们作为文件存储在文件系统上 并将这些项目的 url 设置为字符串属性 现在显然这不仅
  • 日志文件的大小会影响数据库的性能吗?如何缩小日志文件?

    我刚刚检查了我的日志文件 它几乎有 45GB 我有两个问题 它总体上会影响数据库的性能吗 如何用SQL查询缩小它 请举个例子 谢谢 在正常情况下 没有必要缩小事务日志文件 这通常意味着您处于完整恢复模式 而不是定期执行事务日志备份 日志文件
  • ftrace:通过 echo 从 function_graph 更改 current_tracer 时系统崩溃

    我最近一直在使用 ftrace 来监控我系统的一些行为特征 我一直在通过一个小脚本来打开 关闭跟踪 运行脚本后 我的系统会崩溃并自行重新启动 最初 我认为脚本本身可能有错误 但后来我确定崩溃和重新启动是由于echo将一些跟踪器添加到 sys
  • LINUX:是否可以编写一个不依赖libc库的工作程序?

    我想知道我是否可以编写一个程序C 可执行的编程语言 尽管不使用单个库调用 例如甚至没有退出 如果是这样 它显然根本不依赖于库 libc ld linux 我怀疑你可以写这样的东西 但最后需要有一个无限循环 因为你不能要求操作系统退出你的进程
  • 作为参数传递的函数总是回调吗? JavaScript

    如果我有下面的代码 我将两个函数作为参数传递给函数sayHi 这是回调的示例吗 我注意到有两种运行这些 参数函数 的方法 要么如下所示 我们在定义它们的地方调用函数 作为参数 要么在 sayHi 函数中调用参数 这是回调函数和匿名函数之间的
  • Rails - capistrano 和 chmod

    我想通过 capistrano 使用 chmod 来添加文件夹的权限 例如 我想这样做 chmod 777 R vol www apps ror tutorial current log 所以 我想通过 capistrano 的任务来做到这
  • Android - 如何在 API 级别 4 的 android WebViewClient 中拦截表单 POST

    我有一个WebViewClient附在我的WebView像这样 webView setWebViewClient new MyWebViewClient 这是我的实现MyWebViewClient private class MyWebVi
  • 使用curl命令行上传多个文件到php服务器

    我需要使用curl 命令行实用程序将多个文件上传到服务器 对于单个文件 我使用以下命令没有问题 curl F email protected cdn cgi l email protection http localhost 8888 we
  • 寻找非图灵完备的语言

    我知道一点什么是a图灵机 questions tagged turing machine and a 图灵完备 questions tagged turing complete语言 但为了更好地理解 有人可以举出非图灵完备的语言的例子吗 甚