字符串 形式语言和自动机 连接 形式语言和自动机 次方幂 形式语言和自动机 闭包运算 形式语言和自动机 形式语法的类型 正则文法 形式语言和自动机 上下文无关文法 形式语言和自动机 上下文有关文法 形式语言和自动机 无约束文法 形式语言和自动机 形式语言和自动机 CFG识别句子的派生树 二义性文法 形式语言和自动机 自动机 形式语言和自动机 有限自动机 形式语言和自动机 形式语言和自动机 上下文无关文法与下推自动机 形式语言和自动机 形式语言和自动机 形式语言和自动机 形式语言和自动机 图灵机 形式语言和自动机 线性界限自动机 形式语言和自动机 形式语言和自动机