12 2010 档案

摘要：我真的是觉得这门课太虚了。。这个总结基于名教材《自动机理论、语言和计算导论》（机械工业），也可以说是这本书的总结。由于这门课里很多罗马字母，打字很困难所以能省略的公式都不写了，可以算是入门介绍了。这里省略的内容，看看书就明白了。A. 概念入门1.有穷自动机：对于一个系统，如果说他有有限个状态，在这些状态间响应外部输入并按照一定规则切换，又能记忆当前状态，则称该系统为有穷自动机。比如一个开关。有开和关两态，如果当前态为开，拨动开关状态将成为关，反之亦然。所以开关是一个有穷自动机。2.形式化证明：计算机也可以认为是复杂的自动机，对于一个自动机系统能够做什么并不显而易见，比如人们认为很多事情是计算机 阅读全文