# turing-machine

**Repository Path**: timegis/turing-machine

## Basic Information

- **Project Name**: turing-machine
- **Description**: build turing machine with Qt/C++.

[图灵和图灵机](https://zhuanlan.zhihu.com/p/722222069)
- **Primary Language**: Unknown
- **License**: LGPL-3.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 1
- **Created**: 2025-09-20
- **Last Updated**: 2025-09-20

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# turing-machine
[图灵和图灵机](https://zhuanlan.zhihu.com/p/722222069)
#### 介绍
build turing machine with Qt/C++. 
program could runs in vs2015+qt vs tools. 
Qt version Qt5.12.4;
currently windows os needed. but it's not neccessary.

这个软件是模拟了图灵在1936年发表的《论可计算数及其在判定性问题上的应用》论文里面，提到的图灵机和通用图灵机的功能；揭示了采用通用图灵机模拟任何一种图灵机都是可行的，从而证明了通用计算机器的存在，为电子计算机（computer，原意是为了完成某种数学问题而执行特定计算功能的人类计算者，现在已经演变成电脑的代名词）的诞生奠定了理论基础；

B站上有一门计算机入门课：从与非门到俄罗斯方块。里面提出一个问题，为什么家里有洗衣机，冰箱，空调，燃气灶...许许多多不一样的机器，而我们只需要一部手机或者一台电脑，通过app或应用程序，就可以实现阅读、看电影、听音乐这多种多样的功能？我们对这些事情习以为常，却没有去深究这背后隐藏的通用性的原理。而这种通用性，正是图灵通过这篇论文，带给我们的礼物。

#### 软件架构
软件架构说明

这个程序不是很复杂，有一个界面，用来模拟纸带和读写头；上面有很多按钮，这些按钮用来模拟图灵机和通用图灵机，比如，能够打印010101...序列的图灵机，能够打印0010110111...序列的图灵机，能够依次打印全体自然数的图灵机，以及能够计算 sqrt(2)这样的无限不循环小数序列的图灵机；并且测试了通用图灵机的骨架表（类似于函数库）中的所有函数；最后演示了通用图灵机是怎么模拟打印010101...序列的图灵机的，从而证实图灵所言不虚。