推 rod24574575 : 已收資訊系精華區! 12/01 11:18
→ xavier13540 : 好快OAO 12/01 11:20
課程名稱︰自動機與形式語言
課程性質︰資工系大三必修
課程教師︰項潔
開課學院：電機資訊學院
開課系所︰資訊工程學系
考試日期（年月日）︰2015/12/01
考試時限（分鐘）：35
試題 :
1. Show that a language L is decidable iff there is an enumerator E that
enumerates the members of L in non-decreasing order. (That is, if E prints
out u , u , u , u , ..., then |u | ≦ |u | if i ≦ j)
1 2 3 4 i j
--
移居二次元(|R^2)的注意事項： 3. 如果你在從事random walk，往上下左右的
1. connectedness不保證pathwise connec- 的機率都是1/4，則你能回家的機率是1。
tedness。可能你跟你的幼馴染住很近， 4. 下面這個PDE是二次元上的波方程式
卻永遠沒辦法到她家。 http://i.imgur.com/2H9HllP.png
2. ODE的C^1 autonomous system不會出現 它的解不滿足Huygens' principle，因此
chaos，在預測事情上比較方便。 講話時會聽到自己的回音，很不方便。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.112.25.105
※ 文章網址: https://www.ptt.cc/bbs/NTU-Exam/M.1448939804.A.D96.html