转一个学长的总结，原文http://chj-yh.i.sohu.com/blog/view/113784360.htm   第一章  导引 1、如果起始状态也是接受状态，则接受空串 。 2、计算的形式定义：    设M={……}，是一台有穷自动机，w=w0w1……wn是字母表上的一个字符串，如果Q中 … Continue reading →