形式语言与自动机
- 未来一定属于语言的胜利。语言将一统天下（未来AI也会用“最优”的语言来思考）。
一直好奇的是，远古巨神们是怎么发明出计算机的？计算机也肯定是遵循某些理论发展出来的。
阿兰·图灵和冯·诺依曼是公认的两位计算机之父。图灵机从理论上证明了计算机这种东西可行，而冯诺依曼结构则从物理上实现了图灵机的理论。即使到现在，几乎所有计算模型和结构也没能脱离这两者而存在。
- 什么是形式语言与自动机？
计算机科学有两个主要的部分: 第一, 构成计算系统基础的一些基本概念和模型; 第二, 设计计算系统 (软件和硬件) 的工程技术。形式语言与自动机理论, 就是作为第一部分, 即构成计算基础的基本概念的引论。
- 目的是什么？
学会像前人一样思考，打开通往计算机原理的大门。
基础知识
- 基本概念
字母表
众所周知，字母是构成一门语言的基本要素哦，如英文中的A-Z（a-z）。对于计算机而言，其实是{0,1}。
定义：有穷非空符号集。例如, Σ = {0, 1}, Σ = {a, b … z}。
字符串
某个字母表中符号的有穷序列, 也称字 (words). 例如, 若 Σ = {0, 1}, 则000, 111, 0101,10101 为 Σ 上的字符串。
