自动机

有穷自动机 首先给出一些必须的前置概念： 1) 字母表(alphabet)：可以是任意的非空有穷集合，