计算理论导论【一】自动机

自动机历史 非确定性，与搜索相关，可以没有操作，可以存在多个操作，在任何下一个状态可存在多种选择。 [自动机示意图] 自动机=代数表达式(Regular expressions) Why study computability theory Q1:Halting Problem 给定一个算法，判断程序结束之后是否会停机，还是会一直运行下去。 Q2:Post Correspondence Probl

>>阅读原文<<