课程名称︰自动机与形式语言
课程性质︰资工系大三必修
课程教师︰项洁
开课学院：电机资讯学院
开课系所︰资讯工程学系
考试日期（年月日）︰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