推 Lautreamont:我覺得好像可以 我當初是寫{1,10}{1,00}* 03/02 19:19
※ 引述《modish (認真上課...)》之銘言：
: http://0rz.tw/SsoF4
: FSM好難懂，有沒有人會解這題?
: 看解答還是看不懂，有沒有人要分享解法?
: 解答是:
: O22: {0}{1,00}*{0}
: O11: 空集合
: O10: {1}{1,00}*U{10}{1,00}*
O22: 從 s2 到 s2 的過程產生的 output
╭╮
│↓1 因此只能先 0 (從 s2 -> s0 )
╰s0 然後無限多個1 (從 s0 loop 回 s0 ) 或是
0↖↘0 無限多個連續兩個0 (從 s0 -> s2 -> s0 )
s2 最後再一個0 (從 s0 -> s2 )
O11: 空集合, 似乎很合理?
O10:
╭╮
│↓1 1 從 s1 到 s0 有兩種走法 , 一個直接過去, 一個經過 s2
╰s0 ←─ s1 所以直接走的是 1 {1,00}* (理由類似O22)
0↖↘0 ↙1 經過s2 的是 {10}{1,00}*
s2
btw, 我想問一下O10可不可以寫 {1|10}{1,00}* ?
--
人家可不是為了你才這樣做的哦!
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 60.198.35.85