Extend Finite-State Machine Model of the Sender Entity of the Alternated-Bit Protocol

From 0 From 1

When U?init When U?M

To 1 To 2

Begin Begin

B:=0 Output(L,M@B)

End End

From 2 From 2

When L?A When L?A

Provided A=B Provided A=B

To 1 To 2

Begin Begin

Goto State 1 Output(L,M@B)

End B:=1-B

goto State 2

End

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本