課程名稱︰自動機與形式語言
課程性質︰資工系大三必修
課程教師︰項潔
開課學院：電機資訊學院
開課系所︰資訊工程學系
考試日期（年月日）︰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