后面跟同样数量的 formula_47）是一个上下文无关语言。因为它可以由文法 formula_55（formula_56，formula_57，formula_23 为开始符号）定义，用下列产生式规则：通过可以在 formula_61 时间（参见大O符号）内识别上下文无关语言。也就是说，对于每一种上下文无关的语言，都可以构建一台以字符串为输入并及时确定字符串是否为该语言成员的机器，其中 formula_8 是字符串的长度。 是可在线性时间内识别的上下文无关语言的子集。 由多种算法针对这类语言或它的子集