1.5 語言

任意字符的非空集合就是一個字母表，最常用的字母表是大小寫26個英文字母表、10個阿拉伯數字字母表、24個希臘字符字母表以及0和1的二進制字母表。

字母表具有非空性、有窮性。一般使用∑表示字母表。

字母表中的字母按照某種順序一個接一個地排列起來，形成的字符的序列，稱為一個字符串；一般使用ε代表空串。

形式語言和自動機理論中的語言是一個廣泛的概念，一個字母表上的語言就是該字母表的某些字符串（也稱為句子）的集合。

對于語言的研究，實際上包括3個方面。

（1）如何給出一個語言的表示。如果該語言是有窮語言，那么可以使用列舉法列舉出語言中所包含的所有字符串；如果該語言是無窮語言，那么對該語言的表示，需要考慮語言的有窮描述。

（2）對于一個給定的語言是否存在有窮描述。并不是所有的語言都存在有窮描述，即對于某些語言，并不存在有窮表示。

（3）具有有窮表示的語言的結構以及結構的特性問題。