精·软件工程导论习题解答.pptVIP

4-4.考虑下述的自动化图书馆流通系统：每本书都有一个条形码，每个人都有一个带条形码的卡片。但一个借阅人想借一本书时，图书管理员扫描书上的条形码和借阅人卡片的条形码，然后在计算机终端上输入C；当归还一本书时，图书管理员将再次扫描，并输入R。图书管理员可以把一些书加到（+）图书集合中，也可以删除（—）它们。借阅人可以再终端上查找到某个作者所有的书（输入“A=”和作者名字），或具有指定标题的所有书籍（输入“T=”和标题），或属于特定主题范围内的所有图书（输入“S=”加主题范围）。最后，如果借阅人想借的书已被别人借走，图书管理员将给这本书设置一个预约，以便书归还时把书留给预约的借阅人（输入“H=”加书号）。 试用有穷状态机说明上述的图书流通系统。 图书馆流通系统的有穷状态机描述如下： （一）图书状态的有穷状态机描述 状态机J：{书在图书馆S1，书被借出S2，书被预约S3} 输入集K：{书上条形码，借阅卡条形码，终端输入各种命令} 转换函数T：如下图所示 初始态S：{书在图书馆S1，书被借出S2} 终态集F：{书被借出S2，书被预约S3} 书归还，扫描两个条形码，在终端输入R 在终端输入“H=”加书号 扫描两个条形码，在终端输入R 扫描两个条形码，在终端输入C 书在图书馆S1 书被借出S2 书被预约S3 (二)图书馆终端管理员模式的有穷状态机描述 状态机J：{管理员设置状态，书入库，书