Convergent Transitions
UIO
Transitions with the same input/output pairs and enters
the same state are called convergent transitions
Nonconvergent Path
A path that consists of nonconvergent transitions.
i/o
i/o UIO(j)
[NonConvergent Path, UIO(j)] is a UIO sequence of
state i.
j
a/x
a/x
j
i
j-1
前一張投影片
下一張投影片
回到第一張投影片
檢視圖形版本