有穷状态机-四川农业大学.PPTVIP

形式化方法的概念 如果一种方法有坚实的数学基础，那么它就是形式化的，否则称其为非形式化的。 使用自然语言描述需求规格说明，是典型的非形式化方法。它容易产生矛盾、二义性、含糊性、不完整性及抽象层次混乱等问题。 DFD模型及ER模型等属于半形式化方法。 典型的形式化方法包括有穷状态机、Petri网和Z语言等几种。能够简洁准确地描述客观事物，可以在软件工程活动之间平滑地过渡，并便于高层确认。 形式化方法也并非是万能的，应适度使用。 有穷状态机的的概念 一种保险箱上装了一个复合锁，锁有三个位置，分别标记为1、2、3，转盘可向左或向右转动。这样，在任意时刻转盘都有6种可能的运动，即1L（左转1）、1R（右转1）、2L、2R、3L和3R。保险箱的组合密码是1L、3R、2L，转盘的任何其他运动都将引起报警。 有穷状态机的概念 一种保险箱上装了一个复合锁，锁有三个位置，分别标记为1、2、3，转盘可向左或向右转动。这样，在任意时刻转盘都有6种可能的运动，即1L（左转1）、1R（右转1）、2L、2R、3L和3R。保险箱的组合密码是1L、3R、2L，转盘的任何其他运动都将引起报警， 有穷状态机的概念 一个有穷状态机包括状态集J、输入集K、由当前状态和当前输入确定下一个状态(次态)的转换函数T、初始态S和终态集F 这5个部分 。 如果使用更形式化的术语，一个有穷状态机可以表示为一个5元组(J，R，T，S，