《形式化语言》PPT课件.ppt
( 4.5 )《《形式化语言》PPT课件.ppt》由会员分享，可在线阅读，更多相关《《形式化语言》PPT课件.ppt（7页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。
第五讲 形式化说明方法形式化方法 有穷状态机PETR网Z语言形式化方法非形式化方法的缺点矛盾二义性不完整表达含糊形式化方法：基于数学的方法来描述数据的转换/变换关系。有穷状态机有穷状态机的构成部分状态集J输入集K转换函数T其中，状态集包括：初始状态S；终态集F。形式化表示（J，K，T，S，F）：J：有穷非空状态集K：有穷非空输入集T：（J-F）XK到J的转换函数SJ，初始状态F J，终态状态转换的描述：当前状态+事件（输入）=下个状态Petri网Petri网的四种元素位置P转换函数T输入函数I输出函数OZ语言Z语言所包括的四个部分给定的集合、数据类型及常数状态定义初始状态操作Z语言的描述给定集合的描述：A|B 状态的定义（右图）初始的状态操作（右图）
- 配套讲稿：
如PPT文件的首页显示word图标，表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制：
部分文档作品中含有的国旗、国徽等图片，仅作为作品整体效果示例展示，禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词：
- 形式化语言 形式化 语言 PPT 课件
淘文阁 - 分享文档赚钱的网站所有资源均是用户自行上传分享，仅供网友学习交流，未经上传用户书面授权，请勿作他用。
关于本文
限制150内