计算理论小结

自动机分层、文法对应、图灵机、停机问题。它划出了计算能力的边界。