形式文法（ Formal Grammar >4种形式文法的定义和相互关系＞文法识别的语言（推导）

形式文法（Formal Grammar）指的是一种用于描述语言结构的形式化模型，它包括了一组产生式规则和一些起始符号，可以用来生成或识别符合规则的语言。常见的形式文法包括四种：正则文法、上下文无关文法、上下文相关文法和正则型文法。

下面是对这四种文法的定义和相互关系的简单介绍：

1. 正则文法（Regular Grammar）是一种最简单的形式文法，它的产生式规则只允许左部为单个非终结符，右部为单个终结符或终结符和单个非终结符的组合，且右部中只能有一个非终结符。正则文法产生的语言是一类有限自动机可以识别的语言。

2. 上下文无关文法（Context-Free Grammar）是一种产生式规则左部只有一个非终结符的文法，右部可以是单个终结符或由终结符和非终结符组成的任意长度的字符串。上下文无关文法产生的语言是一类可以由上下文无关语法树表示的语言。

3. 上下文相关文法（Context-Sensitive Grammar）是一种产生式规则左部包含一个非终结符和一个上下文环境，右部可以是任意长度的终结符和非终结符组成的字符串。上下文相关文法产生的语言是一类可以由线性有界非确定性图灵机识别的语言。

4. 正则型文法（Regular Type Grammar）是一种介于正则文法和上下文无关文法之间的文法，它的产生式规则左部和右部都只能是单个非终结符或单个终结符，右部中只允许出现最多一个非终结符。正则型文法产生的语言是一类由正则表达式描述的语言。

文法识别的语言，也就是推导（Derivation）指的是按照文法的产生式规则，通过一系列的推导步骤，由起始符号生成一个符合文法规则的语言。推导过程可以用语法树表示，每个节点表示一个产生式规则，叶子节点表示终结符或空串。语法树的根节点就是起始符号。

以上是对形式文法以及文法识别的语言的简单介绍。这些知识是自然语言处理和计算机语言设计领域中非常基础且重要的概念。