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

[alibudaken (最後掙扎J)]

http://www.cs.ccu.edu.tw/recruit/MasterExam/96math.pdf

第9題：請問是要以NFA還DFA哪種去解？

第10題：

假設 R(x)表示x為rational number
     M(x)表示x為multiple of 7
     I(x)表示x為integer

Symbolic form 如下
     存在x, [R(x)→M(x)]
     所有x, [I(x)→R(x)]
   -----------------------
   ∴存在x, [I(x)→M(x)]

然後就不會了....OTL

請問接下來要怎麼去推論＠＠"


謝謝！！

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.138.226.62
推 gn00618777:第九題假設至少有1個終止狀態去組合，第10題無法推論出