Finite-State Machine Model of a Protocol
1,2,3:states
a,b,c:input operations
x,y,z:output operations
Inputs
Staying state
Output
前一張投影片
下一張投影片
回到第一張投影片
檢視圖形版本