Example(The possibly-faulty FSM)

case1 Cand = {t*2,t*3};

PossCond of t2 = <>

PossCond of t3 = <t3 -> S0>

temporary set = {};

PosFauFSM[{t*2,t*3}] = {}

case2 Cand = {t*2,t*5};

PossCond of t3 = <t3 -> S0>

PossCond of t5 = <t5 -> S0, t5 -> S1>

temporary set = {{t3 -> S0, t5 -> S0},{t3 -> S0, t5 -> S1}};

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本