图灵机原理

2024-01-10 10:04
文章标签 原理 图灵机

本文主要是介绍图灵机原理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

图灵机原理

组成

一个两头无延伸的纸带,一个读写头,一本操作手册。

格式

纸带上只能写 0 和 1。

读写头可以在纸带上左右移动。

手册的每一页都有“一个判断”和“三个操作”:

  • 一个判断:判断读写头当前位置的值是 0 还是 1,根据不同的值,选择不同的操作(每页都有两组动作,分别对应 0 和 1 的情况,每组动作都执行三个操作)。

  • 三个操作:1、如何修改当前位置的值(0 或 1),2、如何移动读写头(左、右、原地不动),3、翻到指定的手册页

启动

在开始执行前,需要做一些初始化操作:

  1. 把程序代码(0 和 1 的序列)写到纸带上,纸带上要有初始信息给读写头读取。

  2. 将读写头定位到初始位置(程序要求的初始位置),

  3. 指定操作手册(一个二维数组)

  4. 指定手册的初始页面(程序要求的初始页面)。

  5. 指定一个或多个手册页作为“停机”页面,当到达该页面时,则停止运行。

运行

  1. 翻到手册的初始页面,

  2. 如果当前页面是“停机”页面,则停止运行。

  3. 如果不是“停机”页面,则判断当前位置的值是 0 还是 1,并选择相应的动作。

  4. 根据动作要求,修改当前位置的值。

  5. 根据动作要求,移动读写头。

  6. 根据动作要求,翻到指定的手册页面。

  7. 回到第 2 步重复执行。

JavaScript 示例

// 图灵机// program  : 纸带(存储程序和执行结果)
// position : 初始位置
// manual   : 操作手册(二维数组)
// page     : 初始页面
// stop     : 停机页面(数组,可指定多个停机页面)
function run(program, position, manual, page, stop) {// 通过查询手册得到的“新值”和“移动方向”let value, direction;// 循环直到页码为停机页面while (! stop.includes(page)) {// 读取当前位置的值value = program[position];// 查询手册,获取新值、移动方向、新页面[value, direction, page] = manual[page][value];// 赋值program[position] = value;// 移动position += direction;};
}// 操作手册(该手册实现加法运算)
const plus_manual = {// 旧页面: {旧值: [新值, 移动方向, 新页面]}0: {0: [1,  1, 1], 1: [1,  1, 0]},1: {0: [0, -1, 2], 1: [1,  1, 1]},2: {0: [0,  0, 3], 1: [0,  0, 3]},
};// 手册其实就是一个二维数组
//const plus_manual = [
//  // [新值, 移动方向, 新页面]
//  [[1,  1, 1], [1,  1, 0]],
//  [[0, -1, 2], [1,  1, 1]],
//  [[0,  0, 3], [0,  0, 3]],
//];// 程序(计算4+3)
let program = [1,1,1,1,0,1,1,1,0];// 启动
run(program, 0, plus_manual, 0, [3]);// 显示结果
console.log(program);// 结果 = 7
// [1, 1, 1, 1, 1, 1, 1, 0, 0]// 这个图灵机是以 bit 为移动单位,每个格子只能存储 0 和 1,而实际的计算机是以 Byte(8 bit)为移动单位,每个格子可以存储 0-255 的值。

视频演示:https://www.bilibili.com/video/BV1br4y1N762/
视频演示:https://www.bilibili.com/video/BV1VS4y1a7JD/

这篇关于图灵机原理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/590412

相关文章

Golang HashMap实现原理解析

《GolangHashMap实现原理解析》HashMap是一种基于哈希表实现的键值对存储结构,它通过哈希函数将键映射到数组的索引位置,支持高效的插入、查找和删除操作,:本文主要介绍GolangH... 目录HashMap是一种基于哈希表实现的键值对存储结构,它通过哈希函数将键映射到数组的索引位置,支持

Spring Boot循环依赖原理、解决方案与最佳实践(全解析)

《SpringBoot循环依赖原理、解决方案与最佳实践(全解析)》循环依赖指两个或多个Bean相互直接或间接引用,形成闭环依赖关系,:本文主要介绍SpringBoot循环依赖原理、解决方案与最... 目录一、循环依赖的本质与危害1.1 什么是循环依赖?1.2 核心危害二、Spring的三级缓存机制2.1 三

C#中async await异步关键字用法和异步的底层原理全解析

《C#中asyncawait异步关键字用法和异步的底层原理全解析》:本文主要介绍C#中asyncawait异步关键字用法和异步的底层原理全解析,本文给大家介绍的非常详细,对大家的学习或工作具有一... 目录C#异步编程一、异步编程基础二、异步方法的工作原理三、代码示例四、编译后的底层实现五、总结C#异步编程

Go 语言中的select语句详解及工作原理

《Go语言中的select语句详解及工作原理》在Go语言中,select语句是用于处理多个通道(channel)操作的一种控制结构,它类似于switch语句,本文给大家介绍Go语言中的select语... 目录Go 语言中的 select 是做什么的基本功能语法工作原理示例示例 1:监听多个通道示例 2:带

鸿蒙中@State的原理使用详解(HarmonyOS 5)

《鸿蒙中@State的原理使用详解(HarmonyOS5)》@State是HarmonyOSArkTS框架中用于管理组件状态的核心装饰器,其核心作用是实现数据驱动UI的响应式编程模式,本文给大家介绍... 目录一、@State在鸿蒙中是做什么的?二、@Spythontate的基本原理1. 依赖关系的收集2.

Java编译生成多个.class文件的原理和作用

《Java编译生成多个.class文件的原理和作用》作为一名经验丰富的开发者,在Java项目中执行编译后,可能会发现一个.java源文件有时会产生多个.class文件,从技术实现层面详细剖析这一现象... 目录一、内部类机制与.class文件生成成员内部类(常规内部类)局部内部类(方法内部类)匿名内部类二、

Python中随机休眠技术原理与应用详解

《Python中随机休眠技术原理与应用详解》在编程中,让程序暂停执行特定时间是常见需求,当需要引入不确定性时,随机休眠就成为关键技巧,下面我们就来看看Python中随机休眠技术的具体实现与应用吧... 目录引言一、实现原理与基础方法1.1 核心函数解析1.2 基础实现模板1.3 整数版实现二、典型应用场景2

Java的IO模型、Netty原理解析

《Java的IO模型、Netty原理解析》Java的I/O是以流的方式进行数据输入输出的,Java的类库涉及很多领域的IO内容:标准的输入输出,文件的操作、网络上的数据传输流、字符串流、对象流等,这篇... 目录1.什么是IO2.同步与异步、阻塞与非阻塞3.三种IO模型BIO(blocking I/O)NI

JAVA封装多线程实现的方式及原理

《JAVA封装多线程实现的方式及原理》:本文主要介绍Java中封装多线程的原理和常见方式,通过封装可以简化多线程的使用,提高安全性,并增强代码的可维护性和可扩展性,需要的朋友可以参考下... 目录前言一、封装的目标二、常见的封装方式及原理总结前言在 Java 中,封装多线程的原理主要围绕着将多线程相关的操

kotlin中的模块化结构组件及工作原理

《kotlin中的模块化结构组件及工作原理》本文介绍了Kotlin中模块化结构组件,包括ViewModel、LiveData、Room和Navigation的工作原理和基础使用,本文通过实例代码给大家... 目录ViewModel 工作原理LiveData 工作原理Room 工作原理Navigation 工