Li-Fan Chen
says to
YSITD
為什麼不用圖靈機或是其他運算模型去描述