计算理论导论【一】自动机

自动机历史

非确定性，与搜索相关，可以没有操作，可以存在多个操作，在任何下一个状态可存在多种选择。
[自动机示意图]
自动机=代数表达式(Regular expressions)

Why study computability theory

Q1:Halting Problem
给定一个算法，判断程序结束之后是否会停机，还是会一直运行下去。

Q2:Post Correspondence Problem
Post Correspondence Problem wiki
波斯特对应问题（英语：Post correspondence problem）是美国数学家埃米尔·波斯特（Emil Post）于1946年提出的一个不可判定问题。
由于图灵机的接受问题是个基本的不可判定问题，于是可以说明波斯特对应问题也同样是不可判定的。

Q3: P & NP

应用方面：primality(质数) testing and cryptography

Classical Theory

efficiency(有效算法) < decidability(可判定性) < algorithm(computability)

String and Languages

字母（集合），字符串

结构归纳法

向我提问