形式语言使用数学符号和规则堆语言进行形式化的描述。形式语言常用于确切地描述和定义高级语言，在编译器设计中起到重要作用。形式语言是研究符号的语言，仅考虑符号之间的关系，不考虑符号的含义。
1956年，乔姆斯基（N.Chomsky）首次采用马尔可夫（Markov）模型描述自然语言，从语言学和数学的角度对有限状态模型、短语结构模型和转换模型进行了理论上的分析，建立了形式语言理论。
乔姆斯基将语言形式地定义为==由一个字母表的字母组成的一些串的集合==。对于任意一个语言，有一个字母表，可以在字母表上按照一定的形成规则定义一个文法，这个文法产生的所有句子组成的集合就是文法所产生的语言。
字母表（alphabet）是一个非空有穷集合，字母表中的元素称为该字母表的一个字母（letter），也可以叫做符号（symbol），或者字符（character）。
定义：设 和 是两个字母表， 和 的乘积：
经常忘记所以记下来（其实是网上冲浪的时候到处抄来的）
| 缩写 | 英文释义 | 中文释义 |
|---|---|---|
| ATM | at the moment | 现阶段 |
| AFAIK/AFAICT | as far as I know / can tell | 就我所知 |
| TBH | To be honest | 老实说 |
| TL;DR | Too Long; Don't Read. | PR 内容太多，没办法看 |
| PR | Pull Request. | 拉取请求，给其他项目提交代码 |
| PTAL | Please take a look. | 请看一看 |
| LGTM | Looks Good To Me. | 代码已经过 review，可以合并 |
| SGTM | Sounds Good To Me. | 和上面那句意思差不多，也是已经通过了 review 的意思 |
| WIP | Work In Progress. | 告诉项目 维护者这个功能还未完成，方便维护者前 review 已提交的代码 |
| PTAL | Please Take A Look. | 提示项目 Owner/contributor review |
| TBR | To Be Reviewed. | 提示维护者进行 review |
| TBD | To Be Done (or Defined/Discussed/Decided/Determined). | 根据语境不同意义有所区别，但一般都是还没搞定的意思 |
| IMO | In My Opinion | 在我看来、依我看、依我所见 |
| IMHO | In My Humble Opinion IMO | 谦虚的说法 |
| DNM | Do not merge. | 不要合并 |