张海藩《软件工程导论》(第6版)(章节题库-第4章-形式化说明技术)

第 4 章 形式化说明技术一、选择题1．图 1 所示为一个确定的有限自动机 DFA 的状态转换图，有向弧<i，j>上可以标记下列符号之一：小数点‘． ’ 、十进制数字‘d’ 、正负号‘+／－’及科学记