学过外语都听过语法，语法书里充斥着关于该门语言的各种规则和示例。
好的语法（grammar）一般都会对句子级和单词级的进行区分，对于句子级的一般称为句法（syntax／syntaxis），对于单词级的称为 grammar。
考虑各种原因，我们使用一类称为 generative grammar 的语法。
generative grammar：确定的、大小固定的用于构建语言中句子的“菜谱”
问题：
- 如何通过有限的“菜谱”生成语言中无限的句子？
- 如果句子只是符号的序列，没有定义结构，而句子的意义是从其结构以及其他属性中衍生出来的，我们该如何获取句子的意义？
对于第一个问题：
首先，我们很容易想出出这样的“菜谱”，比如“包含所有正整数的集合”就符合条件。
是否所有语言都可以通过有限的描述进行描述呢？不是。
对于证明的简单叙述：
TBD