Turing machine formalization 📖 中文释义 [计] 图灵机形式化 ← Turing machine construction T 字母词表 Turing reduction machine →