Intel汇编语言程序设计学习-第六章条件处理-下

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我突然忘记怎么遍历数组了。于是就又查了之前的笔记，下面我用三种方式实现（为了练习）：

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

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

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本章小结

我没有必要去总结书上的总结，还是直接粘贴过来：