Re: [理工] [離散]-中正96-資工

[assassin88 (Ace)]

※ 原文恕刪。

◎第九題：

題目有規定是 automata，所以 transition state 有 3^(3*2) = 3^6

因為題目只規定 start state，因此每一個 state 都可能為 accept state

故有 2^3   total => 3^6 * 2^3

◎第十題：

既然你已經寫了，那我用你寫的去推。

遇到這種題目以你的當例子，若結論為 P → Q 則假設 P 對推回去。

故 現在假設 I(X) 為 true，Ex(-R(x) v M(x)) // E : for some
                          Ax(-I(x) v R(x)) // A : for all

則第二式等價於 Ax(R(x)) true => 第一式等價於 Ex(M(x)) true

所以命題正確。

希望有幫助到你^^

--
歡迎參觀 :)

我的露天拍賣： http://class.ruten.com.tw/user/index00.php?s=outdoorsell

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.57.78.231
※ 編輯: assassin88      來自: 61.57.78.231         (03/23 16:47)
推 gn00618777:不對耶...解答這兩題不是這樣
→ gn00618777:第九題，還少一種 應該是3^6*7
→ gn00618777:第10題應該無法推論出來
→ assassin88:請問7是為什麼?
推 gn00618777:至少有一個為終止狀態，所以有1個(終止狀態)+2個+3個=7
→ assassin88:你的答案是哪邊的??
→ gn00618777:去年大碩的題庫班解答
→ assassin88:我的答案 3^6 * (2^3-1) 扣掉全部皆無的狀況..
→ assassin88:剛剛沒想到 XD
推 alibudaken:原來如此..我懂了XD，感謝兩位大大