软件工程与学课后习题ch4 .ppt

重庆工学院计算机科学与工程学院 李梁 * 4-3 一个浮点二进制数的构成是：一个可选的符号(+或-)，后跟一个或多个二进制位，再跟上一个字符E，再加上另一个可选符号(+或-)及一个或多个二进制位。例如，下列的字符串都是浮点二进制数： 110101E-101 -100111E11101 +1E0 更形式化地，浮点二进制数定义如下： 〈floatingpoint binary〉∷=［〈sign〉］〈bitstring〉E［〈sign〉］〈bitstring〉 〈sign〉∷=+｜- 〈bitstring〉∷=〈bit〉［〈bitstring〉］ 〈bit〉∷=0｜1 作业及解答（第4章） 其中， 符号∷=表示定义为； 符号［...］表示可选项； 符号a｜b表示a或b。 假设有这样一个有穷状态机：以一串字符为输入，判断字符串中是否含有合法的浮点二进制数。试对这个有穷状态机进行规格说明。 作业及解答（第4章） 该有穷状态机的初态是“等待字符串输入”。在初态若接收到字符十、或字符一、或二进制位，则进入“输入尾数”状态；在初态若接收到其他字符，则进入终态“非浮点二进制数”。在“输入尾数”状态若进制数”。在“等待输入指数”状态若接收到字符＋、或字符一、或二进制位，则进入“输入指数”状态；若接收到其他字符，则进入终态“非浮点二进制数”。在“输入指数”状态若接收到二进制位，则保持该状态不变；若输入其他字符，则进入终态“非浮点二进制数”；若输入结束，则进入终态“浮点二进制数”。 作业及解答（第4章） 仔细研究图示的有穷状态机可以发现，它还有不够严格的地方。有兴趣的同学请进一步改进它，画出更严格的、与浮点二进制数定义完全一致的有穷状态机。 作业及解答（第4章） * * *