编译原理简介：基本概念

一、编译总体流程
一个最简单的编译器一般都会经过词法分析，语法分析，代码生成等部分。
1.词法分析：首先要明白所有程序文件都是文本文件。将面向源码的字符流转成 token 流的过程。一般程序将token一个个传给语法分析处理。
2.语法分析：程序根据目标程序语言的文法范式生成语法分析树
3.代码生成：然后再遍历整个语法分析树直接生成代码。生成代码可以直接生成机器码，或者交给虚拟机执行。

二、形式语言与文法
为了理解编译的过程，首先我们要明白什么是形式语言和文法，我们平时写程序的时候都要遵从一定的语法规则。俗话说，没有规矩不成方圆，我们跟随一定的规则去书写程序，而编译器也是根据这些规则来解析程序。

什么是形式语言：
自然语言（Natural Language）就是人类讲的语言，比如汉语、英语和法语。这类语言不是人为设计（虽然有人试图强加一些规则）而是自然进化的。形式语言（Formal Language）是为了特定应用而人为设计的语言，是从语言学衍生而来，作为一种理解自然语言的句法规律。例如数学家用的数字和运算符号、化学家用的分子式等。在计算机科学中，形式语言通常作为定义编程语言和语法的基础，是正式版本的自然语言的子集。
如语言学中语言一样，形式语言一般有两个方面: 语法和语义。专门研究语言的语法的数学和计算机科学分支叫做形式语言理论，它只研究语言的语法而不致力于它的语义。在形式语言理论中，形式语言是一个字母表上的某些有限长字符串的集合。一个形式语言可以包含无限多个字符串。

什么是文法：
文法又叫语法，形式语言有严格的语法（Syntax）规则，例如，3+3=6是一个语法正确的数学等式，而3=+6$则不是，H2O是一个正确的分子式，而2Zz则不是。语法规则是由关于符号（Token）和结构（Structure）的规则所组成的。Token的概念相当于自然语言中的单词和标点、数学式中的数和运算符、化学分子式中的元素名和数字。关于Token的规则称为词法（Lexical）规则，而关于语句结构的规则称为语法（Grammar）规则。
乔姆斯基把文法分成4种类型，即0型，1型，2型，和3型。0型文法也称短语文法，0型文法的能力相当于图灵机（Turing），或者说任何0型语言都是递归可枚举的。1型文法也称上下文有关法，其能力相当于线性界限自动机。2型文法也称上下文无关法，其能力相当于非确定的下推自动机。3型文法也称右线性文法，由于这种文法等价于正规式，所以也称正规文法。从文法描述语言的能力来说，0型文法最强，3型文法最弱。

编程语言的