[理工] [離散]有限狀態機

看板Grad-ProbAsk作者 (LS)時間13年前 (2012/11/24 10:19), 編輯推噓1(103)
留言4則, 2人參與, 最新討論串3/3 (看更多)
Provide a recursive definition for each of the following languages A 包含於Σ* where Σ={0,1} (1) x∈A if and only if all the 0's in x precede all of the 1's 解答是 empty∈A 若 x∈A,則 0x,x1∈A 我的疑問 1.precede all這應該是不是指全部的0都在1的前面 2.這裡的0's in x precede all.... 應該是不包括 empty吧 那麼一開始定義的 empty∈A的涵意是? (這行不太懂) 感謝解答 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 111.242.60.142

11/24 20:54, , 1F
這語言收集的就是滿足字串中所有0都要在1左側,至於empty沒有
11/24 20:54, 1F

11/24 20:56, , 2F
0所以沒有違背敘述自然也符合,至於定義的empty∈A是遞迴設定
11/24 20:56, 2F

11/24 20:56, , 3F
初值
11/24 20:56, 3F

11/25 01:00, , 4F
所以意思是empty也滿足這個X瞜~ 這樣我瞭解了 感謝
11/25 01:00, 4F
文章代碼(AID): #1Gi2x1Pd (Grad-ProbAsk)
文章代碼(AID): #1Gi2x1Pd (Grad-ProbAsk)