摘要：
Intro 最近刷小蓝书发现一篇关于如何正确使用vim的回答，于是想重新把neovim捡起来，顺便把配置文件托管起来方便将来使用。 遂决定从头开始写nvim的配置文件，再顺手把它托管到远程仓库上。 然后突然发现，我的WSL还没配置SSH，git也是装了还没用。 没办法，只好从头开始。 顺带一提，接下 阅读全文
摘要：
Intro 上篇文章中对图灵机的讨论是错误的，因为那篇文章中试图去使用一个具体的机器去指代图灵机，这会造成极大的误解。 本文将会解决这些问题。 Tips:发现错漏请指出，我尽力修改( ;´д`) 图灵机 图灵机的形式化定义如下 图灵机是一个七元组(\(Q,\Sigma,\Gamma,\delta,q 阅读全文
摘要：
本文是neovim中的练习项目Tutor的笔记。 建议自己手动尝试一下这个项目，很快就能上手neovim。 想要尝试这个项目，只要输入:Tutor<Enter>即可。 安装 & 启动 使用包管理器apt安装即可。 运行: $ sudo apt install neovim Tutor Lesson 阅读全文
摘要：
Intro 在看《Linux C编程一站式学习》这本书，发现需要学习Linux，一番比对后决定从WSL2开始入手。 Quick Start 安装 WSL2的安装极其简单，并且可以简单的迁移至非系统盘。 在Windows功能面板中勾选适用于Linux的Windows子系统与虚拟机平台按提示重启。 打开 阅读全文
摘要：
Intro 本文包含以下内容 BrainFuck解释器的实现 上一篇文章中,我们已经了解到了一门极简的语言-BrainFuck,并且还写了一个简单的BrainFuck程序. 但我们也只是在纸上脑测了这个程序,这并不能说明什么.想要验证一个程序是否正确,最简单的办法就是把它跑起来. 所以,我们需要一个 阅读全文
摘要：
最近重新研究这个问题，发现之前的错漏太多了，故弃用这一篇，新版将在不久后投稿。 以下是原文 前言 本文是近日对图灵完备的学习所做的笔记,如有错误还请指正. 本文包含以下内容: 1.什么是图灵机?什么是图灵完备?什么是Brianfuck? 2.对图灵机的简单模拟. 3.使用Brianfuck模拟一个简 阅读全文