課程名稱:自動機與形式語言
課程性質︰資工系大三必修
課程教師:項潔
開課學院:電機資訊學院
開課系所:資訊工程學系
考試日期(年月日):2015/12/15
考試時限(分鐘):30
試題:
1. Let S ={<M>| M is a DFA that accepts w^R whenever it accepts w}.
show that S is decidable.