四种自动机与对应文法 有限自动机 下推自动机 图灵机 线性有界自动机