程序设计语言及其文法

编译器要对高级语言进行词法语法等分析，要想让计算机能够自动的分析语言

要把语言学知识文法提供给计算机，文法也就是文章的书写法规，一般用来指以文字、词语、短句、句子的编排而组成的完整语句和文章的合理性组织

计算机中如何表示语言和它的文法

英语是由句子组成的集合，而句子又是由单词和标点符号组成的序列

程序设计语言Pascal或者是C语言是由一切Pascal或者是C程序所组成的集合，而程序是由类似if、begin、end的符号以及字母和数字这样一些基本符号组成

每个程序都是一个基本符号串，如果有一个基本符号集，那么Pascal或者是C语言可以看成是这个基本符号集上定义的，按一定规则构成的一切基本符号组成的集合

长度为0的字符串称为空串

字母表是元素的非空有穷集合，字母表中的元素称为符号，因此字母表也称为符号集，由字母表中的符号组成的任何有穷序列称为符号串，C语言的字母表就是由字母、数字、若干专用符号以及char、struct、if、do之类的保留字组成