计算理论导引课件下载

Readonce”,“nowrite”procedure.只读，不写，，无内存，无变量，无数组，无堆栈，无推理，无想象力Typicalisitslimitedmemory.内存有限，只有寄存器，能记住状态（窍门：造自动机时遇到困难加状态，等于是加寄存器扩大了记忆力）Thinkcell-phone,elevatordoor,etc.简单例子，火车线路图，电梯，录音机，电子表状态和按扭