自动机历史
非确定性，与搜索相关，可以没有操作，可以存在多个操作，在任何下一个状态可存在多种选择。
[自动机示意图]
自动机=代数表达式(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
字母（集合），字符串