计算理论定理定义总结

定义1.1：有穷自动机是一个 5 元组 ( Q, , , q0, F )，其中(1) Q 是一个有穷集合，称为状态集。(2) 是一个有穷集合，称为字母表。(3) : QQ是转移函数。(4) q0Q