- 博客(9)
- 收藏
- 关注
RSS订阅原创 CSAPP 01：信息的表示
我们将一个二进制数序列从最左边起，每四位做一个分割，将一个二进制数序列分割为多个四位长度的二进制数，如果最后一个不足四位就在它的右边补零。事实上，在字节长度未被确定时，是有各种字节的长度不同的机器的。选择了更高进制的计算机（如三进制）能在一个bit内表示更多的信息，但增加新的状态将不可避免的带来硬件成本的上升，选择成本还是信息量，是现实需要考虑的问题。二进制数序列是计算机所能直接使用的，但一个过长的二进制数序列对于人类来说是难以识别的，因此，我们不得不引入识别负荷更小的记录方式。
2025-01-23 21:38:31
1016
原创 随笔-在WSL2中配置git并配置ssh密钥并推送一个仓库
最近刷小蓝书发现一篇关于的回答，于是想重新把neovim捡起来，顺便把配置文件托管起来方便将来使用。遂决定从头开始写nvim的配置文件，再顺手把它托管到远程仓库上。然后突然发现，我的WSL还没配置SSH，git也是装了还没用。没办法，只好从头开始。顺带一提，接下来的更新可能会稍微变快一点，请期待。
2024-11-21 21:28:42
442
原创 什么是图灵完备？手把手教你证明brainfuck的图灵完备性
上篇文章中对图灵机的讨论是错误的，因为那篇文章中试图去使用一个具体的机器去指代图灵机，这会造成极大的误解。本文将会解决这些问题。:发现错漏请指出，我尽力修改(;´д`)
2024-10-07 13:38:42
1655
原创 笔记-Neovim快速入门
本文是neovim中的练习项目Tutor的笔记。建议自己手动尝试一下这个项目，很快就能上手neovim。想要尝试这个项目，只要输入即可。
2024-09-04 21:04:06
1661
原创 笔记-WSL2入门与Linux的简单命令
在看《Linux C编程一站式学习》这本书，发现需要学习Linux，一番比对后决定从WSL2开始入手。
2024-08-25 15:54:44
1617
原创 用C实现一个简单的BrainFuck解释器
上一篇文章中,我们已经了解到了一门极简的语言-BrainFuck,并且还写了一个简单的BrainFuck程序.但我们也只是在纸上脑测了这个程序,这并不能说明什么.想要验证一个程序是否正确,最简单的办法就是把它跑起来.
2024-08-13 16:49:41
585
原创 学习笔记-图灵机、图灵完备与Brainfuck
一个图灵机MMM可以被定义为一个七元组MQΓbΣq0FδMQΓbΣq0Fδ其中:$ Q $ 是一个有限非空的状态集合.$ \Gamma $ 是一个有限非空的纸带字母表.$ b \in \Gamma $ 是空白字符,它不属于输入符号集合,在纸带上频繁出现.$ \Sigma \subseteq \Gamma$ 是输入符号的集合,不包含bbb$ q_0 \in Q $ 是初始状态.$ F \in Q $ 是接受状态的集合.δQ∖F×。
2024-08-10 11:51:26
2143
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人