标签：
1.
以一个简单的俄罗斯方块游戏系统规格说明为例，用自然语言描述如下：
游戏的每个状态对应一个游戏界面，开始状态下，但变量cd_start=1是进入正常游戏的状态，cd_start=2时 进入读取游戏状态，cd_start=3
据储存结束后返回正常游戏状态，在正常游戏状态下，如果变量game_res=0，则游戏结束，进入游戏
是进入得分榜界面查看。在得分榜界面按任意键返回开始界面，在读取游戏界 面，当游戏数据读取完成后进入正常游戏状态，正常游戏状态下，同
时按下左键和右键进入储存游戏界面，数
用有穷状态的描述如下：
结束画面。 可见，用自然语言书写的系统规格说明书，罗嗦繁杂，并且可能存在矛盾，二义性，含糊性，不完整性及抽象 层次混乱等问题。
状态机J：{开始，正常游戏（游戏进行中），得分榜，读取游戏，储存游戏，游戏结束}
输入集K：{按键UP，按键DOWN，按键LEFT，按键RIGHT，寄存器变量cd_start ，寄存器变量game_res}
转换函数T：如下图
初始态S：{开始}
终态集F：{游戏结束}
可见形势化语言描述更加简洁明了，无歧义。
PS题外话：tomcat的安装过程出了点问题，另外查看并学习了几个简单网页的源代码。
标签：
原文地址：http://www.cnblogs.com/zootopia/p/5384657.html
