形式语言

形式语言

形式语言是真实语言（程序设计语言、自然语言等）的一种数学模型。
形式语言认为：语言是符号串的集合。
形式语言定义： 字母表上的符号，按一定的规则组成的所有符号串之集合；其中的每个符号串称为句子。