书籍 — Turing machines