{王元元}可计算性引论,比较简单的一本计算理论入门书