下表 下 下推格值自动机 下推格值自动机与模糊系统 下推格值自动机词的计算 下推符号 下推系统 下推翻译机 下推自动机 下推自动机的状态转换图与下推自动机的化简 下推自动机的逻辑计算类型 下推表