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