[理工] [離散] 有限狀態機0的出現個數為偶數

[vity (逍遙盃-佛得)]

大家好, 想問這題

設計Deterministic Finite State Machine
可接受字串中0的出現個數為偶數的二位元字串

Ans
如果我用輸出0表有偶數個0, 輸出1表有奇數個0
起始時是s0, 代表空字串, 所以s0輸出1(有0個0)
然後用下面的狀態表(mealy machine)
這樣對嗎?

感覺只是可辨識 不知是否與可接受有差異
另外對於s3與s1的差異也有疑惑


狀態    f        g
      0   1
s0    s1  s2     0
s1    s2  s1     1
s2    s2  s3     0
s3    s2  s1     1

--


           熙來過往  總匆匆忙忙
                                想保護的小冀望
                                               卻總難一一配戴翅膀


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.113.59.165
→ robert527152:我想法是直接用S1,S2兩個狀態,S1為起始跟決定狀態
→ robert527152:S2則為存在odd個0的狀態,S1吃0到S2,S2吃0到S1,若吃1
→ robert527152:則在各自state做loop,這樣可以畫出一個FSA(DFSA)
推 genius945:同樓上作法,簡潔快速
→ vity:感謝