一个浮点二进制数的构成是：一个可选的符号（或-)，后跟一个或多个二进制位，再跟上一个字符E，再

一个浮点二进制数的构成是：一个可选的符号(或-)，后跟一个或多个二进制位，再跟上一个字符E，再加上另一个可选符号(或-)及一个或多个二进制位。例如，下列的字符串都是浮点二进制数：

更形式化地，浮点二进制数定义如下：

其中，

符号：：=表示定义为;

符号[...]表示可选项;

符号alb表示a或b.

假设有这样一个有穷状态机：以一串字符为输入，判断字符串中是否含有合法的浮点二进制数。

试对这个有穷状态机进行规格说明。