紅綠燈的問題 先看大慶的網頁kiwi.m8.ntu.edu.tw/~wyatt/Lab/Lab5
第一個表示分析有哪些state(情況) 分火車從左或又來 開到哪....應該很好懂吧
這個finite state machine 吃左右兩個sensor為input 其中有些情況不會發生
比如說火車倒退 或是突然兩個sensor同時感應...等 所以為don't care
我們因此畫出第二個表 自己走道自己的地方用藍色標起來
接著第三個表是說任兩個state的比較表 根據第二個表如果他們吃到的
input 00 01 10 11 所走到的state有相衝(不同)就把他填在格子中
其中don't care -都看做不衝 第二個圖的X也是為不衝(就是don't care 為任意值)
例如第一格 b a 兩個state 吃00就衝 分別走到 a,d 所以那格寫(a,d)
像a,d state比救爛了所以打X e cstate比就 都沒衝 打勾
打溝的就是equivalent pair 就可話下面的圖
圓形圖上有state個數的點 把equivalent pair 劃上 如果有complete graph
即可把那些state 合併 因為他們走出去的state都沒相衝
就是兩點要合併的話需要一條線 三點是三角形 四點要合併有六條線連的complete graph
以本題為範例可如 gd 和 ec 和 fb 和 a 四個state
然而也可以g e c和 fb和 d 和 a然而這是 偷吃步的作法(需深思)
因此注意 並非每次連最大的complete graph就可化到最簡喔
化簡完再仔細想他autamata的意義還真是非常合理呢
祝大家實驗順利
--
如果我有痞子蔡的文筆,你就會深深被我吸引!我有他的文筆嗎?
沒有,所以你絕不會被我吸引
如果你有輕舞飛揚的蝴蝶病,你就會知道我有多愛你!你有她的病嗎?
沒有,所以你永遠不知我有多愛你
如果我們是痞子蔡與輕舞飛揚,我們就能深深相愛!我們是他們嗎?
不是,所以 只有我在單戀你
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.30.118