6.6 应用:有限状态机
这个东西说了半天,感觉就是把逻辑弄得跟有向图一样,没看出来什么高端的东西,下面就整理下书上说的概念:
有限状态机(FSM,Finite-State Machine)是依据输入改变状态机器或程序。使用图来表示一个有限状态机是非常简单的,图种方块(或原)称为节点,节点之间带箭头的线称为边(edge)或弧(arc)。
6.6.1 输入字符串的验证
读取输入流程的程序通常必须执行一定的错误检查步骤以验证输入。比如我们定义如下几条规则:
1.字符串必须以字母x开始,以字母z结束。
2.在第一个和最后一个字符之间,可以有0或多个字符,但字符必须在范围{‘a’~’y’}之内。
6.6.2 有符号整数的验证
有限状态机很容易翻译成汇编代码。图中的每个状态(A,B,C...)都由程序中一个标号标识,各标号处执行以下动作:
A:调用输入过程,从输入中读取下一个字符。
B:如果是终结状态,则检查用户是否输入了回车结束输入。
C:使用一条或多条比较指令检查从当前状态到其他状态的可能转换,每条比较指令后面都紧跟一条跳转指令。
实现下上面的那和输入检测:
TITLE Finite State Machine (Finite.asm)
INCLUDE Irvine32.inc
ENTER_KEY = 13
.data
InvalidinputMsg BYTE "Invalid input" ,13 ,10 ,0
.code
main PROC
call Clrscr
StateA:
call Getnext
cmp al ,'+'
je StateB
cmp al ,'-'
je StateB
call IsDigit
jz StateC
call DisplayErrorMsg
jmp Quit
StateB:
call Getnext
call IsDigit
jz StateC
call DisplayErrorMsg
jmp Quit
StateC:
call Getnext
call IsDigit
jz StateC
cmp al ,ENTER_KEY
je Quit
call DisplayErrorMsg
jmp Quit
Quit:
call Crlf
exit
main ENDP
;--------------------------------
Getnext PROC
;
;Read a character from standard input.
;Receives : nothing
;Returns : nothing
;--------------------------------
call ReadChar
call WriteChar
ret
Getnext ENDP
;--------------------------------
DisPlayErrorMsg PROC
;Display an error message indicating that
;the input stream contains illegal input.
;Receives : nothing
;Returns : nothing
;--------------------------------
push edx
mov edx ,OFFSET InvalidInputMsg
call WriteString
pop edx
ret
DisPlayErrorMsg ENDP
END main
对应的流程图:
6.7 决策伪指令
MASM的决策伪指令{.IF .ELSE .ELSEIF .ENDIF}使得在编写涉及到多路分支逻辑的代码时更加容易。汇编器在幕后为这些伪指令自动生成CMP和条件跳转指令。
.IF condition1
statements
[.ELSEIF condition2
statements ]
[.ELSE
statements ]
.ENDIF
方括号是是可选部分,但是.IF和.ENDIF是必须的。可支持的关系运算符如下:
6.7.1 有符号比较和无符号比较
这一节想表达的意思是.IF...比较有符号和无符号的时候,汇编器最后翻译的代码是不一样的。这个很好理解 比如JA JB 对应的是JG JL等等。
6.7.2 复合表达式
这一节是说.IF等可以直接使用&& || ..等逻辑算数符,和高级语言一样。
6.7.3 .REPEAT和.WHILE伪指令
.WHILE 和C++等语言里的while差不多,格式是这样
.WHILE condition
statements
.ENDW
而.REPEAT则类似DO...WHILE格式是这样:
.REPEAT
statements
.UNTILE condition
写个小例子,计算数组中大于等于4小于6的所有数之和:
刚开始写这个简答的小程序的时候有个小插曲,
在 .IF [esi] >= 4的地方编译不过去,然后 .IF DWORD PTR[esi]可以编译过去,但是add eax ,[esi]却可以,woc我突然忘记怎么遍历数组了。于是就又查了之前的笔记,下面我用三种方式实现(为了练习):
1.
TITLE Finite State Machine (Finite.asm)
INCLUDE Irvine32.inc
ENTER_KEY = 13
.data
intArray DWORD 1,2,3,4,5,6,7,8,9,10
.code
main PROC
mov esi ,OFFSET intArray
mov edx ,0
mov eax ,0
.WHILE edx < 10
.IF DWORD PTR [esi] >=4 && DWORD PTR[esi] < 6
add eax ,DWORD PTR [esi]
.ENDIF
add edx ,1
add esi ,TYPE DWORD
.ENDW
call WriteInt
exit
main ENDP
END main
2.
TITLE Finite State Machine (Finite.asm)
INCLUDE Irvine32.inc
ENTER_KEY = 13
.data
intArray DWORD 1,2,3,4,5,6,7,8,9,10
.code
main PROC
mov esi ,OFFSET intArray
mov edx ,0
mov eax ,0
.WHILE edx < 10
.IF DWORD PTR[esi] >=4 && DWORD PTR[esi] < 6
add eax ,[esi]
.ENDIF
add edx ,1
add esi ,TYPE DWORD
.ENDW
call WriteInt
exit
main ENDP
END main
3.
TITLE Finite State Machine (Finite.asm)
INCLUDE Irvine32.inc
ENTER_KEY = 13
.data
intArray DWORD 1,2,3,4,5,6,7,8,9,10
.code
main PROC
mov esi ,0
mov edx ,0
mov eax ,0
.WHILE edx < 10
.IF intArray[esi] >=4 && intArray[esi] < 6
add eax ,intArray[esi]
.ENDIF
add edx ,1
add esi ,TYPE DWORD
.ENDW
call WriteInt
exit
main ENDP
END main
运行结果:(第三种)
6.8本章小结
我没有必要去总结书上的总结,还是直接粘贴过来: