图灵机

• 状态集合
• 输入字母（不包括空白符号）
• 磁带字母（加上空白符号）
• 转换规则：根据状态和磁带得到一个转换的规则