1 引言
今天继续分享,第四章的内容,形式化说明技术。
2 概述
2.1 非形式化方法的缺点
2.2 形式化方法的优点
2.3 应用形式化方法的准则
3 有穷状态机
有穷状态机的概念在计算机系统中应用得非常广泛。
例如,每个菜单驱动的用户界面都是一个有穷状态机的实现。一个菜单的显示和一个状态相对应,键盘输入或用鼠标选择一个图标是使系统进入其他状态的一个事件。状态的每个转换都具有下面的形式:
当前状态〔菜单〕+事件〔所选择的项〕=>下个状态。
为了对一个系统进行规格说明,通常都需要对有穷状态机做一个很有用的扩展,即在前述的5元组中加入第6个组件——谓词集P,从而把有穷状态机扩展为一个6元组,其中每个谓词都是系统全局状态Y的函数。转换函数T现在是一个从(J-F)×K×P到J的函数。现在的转换规则形式如下:
当前状态〔菜单〕+事件〔所选择的项〕+谓词=>下个状态。
4 Petri网
4.1 概念
5 Z语言
5 结束语
果然在教室的效率非常高!
分享和帮助是人生一大乐事,希望可以帮助您。本人才疏学浅,如果有不当之处,还请批评指正。同时欢迎大家评论、点赞及转发!