自动机有如下基本概念:
符号
有某种意义或在这个机器上有效的任意数据(datum)。符号有时就叫做“字母”。
字
通过一些符号串接而形成的有限字符串。
字母表
符号的有限集合。字母表经常指示为 Σ,它是在字母表中所有字母的集合。
语言
字的集合,由给定字母表中的符号形成。可以是也可以不是无限的。
Kleene闭包
一个语言可以被认为是所有可能字的子集。所有可能字的集合可以被认为是所有可能的字符串串接的集合。形式上说,所有可能字符串的集合叫做自由幺半群。它被指示为 Σ ,上标 * 被称为Kleene星号。