关于本章
在阅读automata theory的时候,发现原来它是theory of computation的一个分支,所以此处就将theory of computation一并给整理了一下。
首先描述theory of computation,然后描述model of computation,然后描述它的各个branch(共三个,这三个branch是software engineer经常会接触到的)。因为model of computation在三个branch中都会使用到,所以把它放到前面来进行描述。