形式语言

形式系统的语言部分，是一种人工表意符号语言。形式系统要用形式语言来表达和构造。形式语言具有严格、精确的特点。一个形式语言由初始符号和形成规则组成。初始符号通常包括个体变元，个体常元，谓词符号，函数符号，逻辑联接词和量词符号，以及辅助(技术性)符号(如括号、逗号)。一个形式语言包括哪几类符号，依所要建立的形式系统而定。形成规则用来规定怎样从初始符号生成新的对象(项、合式公式)，犹如自然语言中的造词和造句规则。形式语言要满足以下的要求：①任给一个符号，能机械地确定它是否为一初始符号，②任给符号的一个有穷序列，能机械地确定它是否为一项或为一合式公式。