自动机理论、语言与计算机导论读书笔记（二）

备注：此博客仅作私人用于读书笔记记录，不作为商业用途，若有侵权，请通过此网站联系博主。谢谢！

第二章：有穷自动机

有穷自动机有一组状态及其控制，相应外部”输入“，”控制“从状态移动到状态，各类有穷自动机之间的关键区别之一，在于控制究竟是”确定的“还是”非确定的“。前者意味着在任何时刻自动机不能处在一种以上状态中，后者意味着能同时处在几种状态中。

2.1有穷自动机的非形式化描述

“电子货币”是顾客在互联网上购物付款的文件，商家必须知道这个“钱”是真的，不是伪造的，也不是故可复制后送给商家却留副本准备再次付款的。银行另一个重要人物，银行必须维护一个有已发行有效货币的数据库，使得银行可以验证商店收到的文件代表真钱并转入商店户头。

2.1.1基本规则

三方参与：顾客、商店和银行。

2.1.2协议

银行必须保证两家商店不会兑换到一个货币文件，必须不允许既取消又兑换货币。商店应当知道确信得到有效货款之后才送货。
这种类型的协议可表示成又穷自动子。每个状态表示某一方所处的局面。

2.1.3允许自动机忽略动作

两类必须忽略的动作时：
1.与有关各方无关的动作。
2.导致自动机死亡的必须防止的动作

2.1.4整个系统成为一个自动机

2.1.5用乘积自动机验证协议

2.2确定型有穷自动机DFA

“确定型”是指在每个输入上存在且仅存在一个状态&#x