作者Lsilver (LS)
看板Grad-ProbAsk
標題[理工] [離散]有限狀態機
時間Sat Nov 24 10:19:43 2012
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
推 ddczx:這語言收集的就是滿足字串中所有0都要在1左側,至於empty沒有 11/24 20:54
→ ddczx:0所以沒有違背敘述自然也符合,至於定義的empty∈A是遞迴設定 11/24 20:56
→ ddczx:初值 11/24 20:56
→ Lsilver:所以意思是empty也滿足這個X瞜~ 這樣我瞭解了 感謝 11/25 01:00