可计算理论

【课堂笔记】可计算理论导论：从零开始理解计算的边界

Monday, Apr 20, 2026

本文基于 MIT Michael Sipser 教授的经典教材《计算理论导引》，从零基础开始系统介绍可计算理论的基本概念。通过大量通俗示例，解释字母表、字符串、语言、自动机、图灵机、可判定性等核心概念，帮助你建立对计算边界的直观认识。