请对这四种文法分别举例说明

1. 上下文无关文法（CFG）
上下文无关文法是一种广泛应用于自然语言和编程语言的文法形式。下面是一个简单的上下文无关文法例子：

S -> NP VP
NP -> Det N
VP -> V NP
Det -> 'The' | 'A'
N -> 'dog' | 'cat' | 'squirrel'
V -> 'chased' | 'ate'

这个文法描述了一个简单的句子结构，其中句子（S）由一个名词短语（NP）和一个动词短语（VP）组成，名词短语由一个限定词（Det）和一个名词（N）组成，动词短语由一个动词（V）和一个名词短语（NP）组成。

一个符合这个文法的句子可以是：

The cat chased the squirrel.

2. 上下文相关文法（CFL）
上下文相关文法是一种更复杂的文法形式，其中规则的应用依赖于语言的上下文和历史。下面是一个简单的上下文相关文法例子：

S -> aSb | bSa | AB
Aa -> aaA
Ab -> bbA
Ba -> aaB
Bb -> bbB

这个文法描述了一种简单的字符串序列，其中每个字符串由相同数量的字母a和字母b组成，但字母的位置和数量是不确定的，并且字符串ab和ba必须成对出现。

一个符合这个文法的字符串可以是：

aabbaabb

3. 正则文法（RG）
正则文法是一种简单的文法形式，它只能描述有限状态自动机可以识别的规则。下面是一个简单的正则文法例子：

S -> aS | bA | epsilon
A -> aA | bS

这个文法描述了一个简单的字符串序列，其中字符串只能包含字母a和字母b，并且字母b只能出现在字符串的开头。

一个符合这个文法的字符串可以是：

abababa

4. 上下文无关的自由文法（CFG-F）
上下文无关的自由文法是一种类似于上下文无关文法的文法形式，但允许规则的右侧包含无限个终止符。下面是一个简单的上下文无关的自由文法例子：

S -> aSb | epsilon

这个文法描述了一个简单的字符串序列，其中字符串以字母a开始，以字母b结束，但其他字母的数量和位置是不确定的。

一个符合这个文法的字符串可以是：

aabbabbabbabb...