Research Space for Linear Algebra & Discrete Mathematics
1. 他數錯了, 你只要注意到output比input多1, 所以我們要造的是Moore model這樣就好了2. 就畫畫看, 首先 (a) output中的第一個0一定是因為S_0會output 0, 然後 (b) 因為在輸入第一個bit 0之後要output 1, 由此可知在S_0輸入0一定會跑到下一個state(S_1), 不可能停留在S_0, 此時因為在S_1看到0要輸出1, 如果這一步仍是停留在S_1, 那再看到0又變成要輸出0, 這樣會產生矛盾, 所以可推得S_1看到0會跑到S_2, ...以此類推最後可畫出一個3-state的FSM
張貼留言
1 則留言:
1. 他數錯了, 你只要注意到output比input多1, 所以我們要造的是Moore model這樣就好了
2. 就畫畫看, 首先
(a) output中的第一個0一定是因為S_0會output 0, 然後
(b) 因為在輸入第一個bit 0之後要output 1, 由此可知在S_0輸入0一定會跑到下一個state(S_1), 不可能停留在S_0, 此時因為在S_1看到0要輸出1, 如果這一步仍是停留在S_1, 那再看到0又變成要輸出0, 這樣會產生矛盾, 所以可推得S_1看到0會跑到S_2,
...以此類推最後可畫出一個3-state的FSM
張貼留言