伊利诺伊大学香槟分校计算机科学系的CS373（计算理论）教学中使用的课堂笔记。