请分别简述正则文法、有穷自动机、上下文无关文法、下推自动机的基本概念，及其在自然语言处理中的应用情况。

1. 正则文法（Regular Grammar）：是一种用于描述正则语言的形式文法。正则文法由四个元素组成：终结符、非终结符、起始符和产生式。在正则文法中，产生式只能有如下两种形式：A → aB 或 A → a，其中 A 和 B 是非终结符，a 是终结符。正则文法广泛应用于正则表达式的匹配和文本搜索。

2. 有穷自动机（Finite Automaton）：是一种计算模型，其输入和输出都是有限的。有穷自动机由五个元素组成：状态集合、输入字母表、转移函数、起始状态和终止状态集合。有穷自动机根据输入字符序列转移状态，并根据终止状态集合确定是否接受该字符序列。有穷自动机广泛应用于词法分析、模式匹配和字符串搜索等领域。

3. 上下文无关文法（Context-Free Grammar，CFG）：是一种描述上下文无关语言的形式文法。上下文无关文法由四个元素组成：终结符、非终结符、起始符和产生式。在上下文无关文法中，产生式可以有多种形式，如 A → α，其中 A 是非终结符，α 是由终结符和非终结符组成的符号串。上下文无关文法广泛应用于语法分析、自然语言处理和编译器等领域。

4. 下推自动机（Pushdown Automaton，PDA）：是一种自动机，其输入和输出都是有限的。下推自动机由六个元素组成：状态集合、输入字母表、栈字母表、转移函数、起始状态和接受状态集合。下推自动机可以读取输入字符序列，并将其压入栈中。在转移过程中，可以将栈顶元素弹出，并将新的元素压入栈中。下推自动机广泛应用于语法分析、编译器和自然语言处理等领域。

在自然语言处理中，正则文法和有穷自动机主要应用于词法分析和模式匹配，如识别特定的单词、短语或句子。上下文无关文法和下推自动机主要应用于语法分析和句法分析，如分析句子的结构和语法规则。这些技术在自然语言处理中具有重要的应用价值，可以帮助我们更好地理解和处理自然语言。