自动机相关定义，包括终结符、非终结符、状态转换图等；正规文法与有限自动机的等价性；

自动机是一种抽象的计算模型，用于描述计算过程中的状态转换和输入输出行为。在自动机中，包括终结符、非终结符、状态转换图等重要概念。

终结符是指输入字符串中的基本符号，如字母、数字、符号等。非终结符则是由终结符组成的符号，它们在自动机中代表一些语言结构。状态转换图则是用来表示自动机的有向图，其中节点代表状态，边代表状态之间的转换，边上的标记表示转移条件。

正规文法是一种特殊的上下文无关文法，它可以用来描述一些特定的语言结构，如正则表达式、有限自动机等。有限自动机是一种能够识别正则语言的自动机，它通过状态转移来判断输入字符串是否符合特定的模式。正规文法与有限自动机之间有着很强的等价性，即对于每一个正规文法，都可以构造一个等价的有限自动机，反之亦然。这个等价性为我们研究语言结构提供了很大的方便。