正如英语是由句子组成的集合，而句子又是由单词和标点符号组成的序列那样，程序设计语言PASCAL或C，是由一切PASCAL或C程序所组成的集合，而程序是由类似IF，BEGIN，END的符号，字母和数字这样一些基本符号所组成，从字面上看，每个程序都是一个"基本符号"串，设有一基本符号集，那么PASCAL或C语言可看成是在这个基本符号集上定义的，按一定规则构成的一切基本符号串组成的集合，因此有必要请你将有关符号串的一些概念做一回顾，作为文法和语言的形式定义的预备知识。 　　字母表S：符号（元素）的非空有穷集合。 　　符号：可以相互区别的记号（元素）。 　　符号串：由字母表S中的符号组成的任何有穷序列称为该字母表上的符号串。即： 　　① 符号串ε(没有符号的符号串)是S上的符号串 称为空串； 　　② 若x是∑上的符号串，a是∑的元素，则xa是∑上的符号串； 　　③ y是∑上的符号串，当且仅当它可以由1和2导出。