可计算性

Wiki页面

• 有限状态机
• 图灵机
• 停止的问题
• Kolmogorov复杂度
• 旅行推销员问题
• 下推自动机
• 常规的语言
• 上下文无关文法
• 上下文无关语言