计算理论经典著作,翻译版,属于后讲Turing Machine的那一类。