联合会员
周边
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
TashiKani
博客园
首页
新随笔
联系
订阅
管理
随笔 - 9
文章 - 0
评论 - 0
阅读 -
1074
10 2024 档案
什么是图灵完备?手把手教你证明brainfuck的图灵完备性
摘要:Intro 上篇文章中对图灵机的讨论是错误的,因为那篇文章中试图去使用一个具体的机器去指代图灵机,这会造成极大的误解。 本文将会解决这些问题。 Tips:发现错漏请指出,我尽力修改( ;´д`) 图灵机 图灵机的形式化定义如下 图灵机是一个七元组(\(Q,\Sigma,\Gamma,\delta,q
阅读全文
posted @
2024-10-07 13:36
TashiKani
阅读(240)
评论(0)
推荐(0)
编辑
公告
昵称:
TashiKani
园龄:
1年1个月
粉丝:
0
关注:
4
+加关注
<
2025年3月
>
日
一
二
三
四
五
六
23
24
25
26
27
28
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
5
搜索
常用链接
我的随笔
我的评论
我的参与
最新评论
我的标签
最新随笔
1.CSAPP 02:计算机是如何完成整数计算的?
2.CSAPP 01:信息的表示
3.笔记-速通Docker
4.随笔-在WSL2中配置git并配置ssh密钥并推送一个仓库
5.什么是图灵完备?手把手教你证明brainfuck的图灵完备性
6.笔记-Neovim快速入门
7.笔记-从WSL2入门与Linux的简单命令
8.用C实现一个简单的BrainFuck解释器
9.学习笔记-图灵完备、图灵机与Brainfuck
积分与排名
积分 - 1074
排名 - 301967
随笔档案
2025年1月(2)
2024年11月(2)
2024年10月(1)
2024年9月(1)
2024年8月(3)
点击右上角即可分享