形式化说明技术 课件.pptxVIP

第4章 形式化说明技术(Formalization Method); 形式化方法基本含义是借助数学的方法来研究计算机科学中的有关问题。;§1. 概 述;§1. 概述;§2. 有穷状态机;1、基本概念;例如一个开保险箱的有穷状态机表示为(J，K，T，S，F)， 其中： J：{保险箱锁定，A，B，保险箱解锁，报警} K：{1L，1R，2L，2R，3L，3R} S：保险箱锁定 F：{保险箱解锁，报警} T：状态转换函数如下;保险箱 锁 定;§2. 有穷状态机;§2. 有穷状态机;§2. 有穷状态机;3、有穷状态机的评价;§3. Petri 网;1、基本概念;§3. Petri网;§3. Petri网;§3. Petri网;§4. Z 语言;§4. Z 语言;§4. Z 语言;§4. Z 语言;§4. Z 语言