Example(cont'd)

PosFauFSM[{t*2,t*5}] = {{t3 -> S0, t5 -> S0},{t3 -> S0, t5 -> S1}};

case3 Cond = {t07,t*9 ,t08,t*8};

t : t7 - e ->

t : t8 - f ->

PossCond of t8 = <t8 -> S1>

PossCond of t9 = <t9 -> S0, t9 -> S2>

temporary set = {{ t8 -> S1, t9 -> S0},{t8 -> S1, t9 -> S2}}

PosFauFSM[{t07,t*9 ,t08,t*8}] = {{ t7 -e ->, t8 - f ->, t8 -> S1, t9 -> S0},

{t7 - e ->, t8 - f ->, t8 ->S1, t9 -> S2}}

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本