Li-Fan Chen
says to
YSITD
除非你有非確定狀態圖靈機