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