什么是字符串？什么是语言？语言、文法与自动机有何关系？

字符串，也称为符号串，指的是由字符组成的有限序列，常用小写希腊字母表示。字母表上的字符串以下列方式生成：
（1）ε为上的一个特殊串，称为空串，对任何a∈，aε=εa = a；
（2）若σ是上的符号串，且a∈，则σa是上的符号串；
（3）若α是上的符号串，当且仅当它由（1）和（2）导出。
语言指的是给定字母表上的字符串的集合。
语言、文法以及自动机有着密切的关系。语言由文法产生，第三章介绍过，文法是一种数学模型，它是建立在有限集合上的一组变换（运算）。因此，根据代数系统的定义，也可以将文法看作是一种代数系统，而语言正是由这种代数系统产生的。

略