在计算机科学和语言学中，语法分析是根据某种给定的形式文法对由单词序列构成的输入文本进行分析并确定其语法结构的一种过程。
上下文有关文法是一种形式文法，其中任何产生式规则的左手端和右手端都可以被终结符和非终结符构成的上下文所围绕。上下文有关文法比上下文无关文法更一般性，但仍足够有秩序得可以被线性有界自动机所解析。
乔姆斯基体系是计算机科学中刻画形式文法表达能力的一个分类谱系，是由语言学诺姆·乔姆斯基于1956年提出的。它包括四个层次：
在计算机科学领域，解析表达文法，简称PEG，是一种分析型形式文法。PEG在2004年由布莱恩·福特推出，，它与20世纪70年代初引入的自顶向下的语法分析语言家族密切相关。
上下文无关文法，在计算机科学中，若一个形式文法 G = 的产生式规则都取如下的形式：A -> α，则谓之。其中 A∈V ，α∈* 。上下文无关文法取名为“上下文无关”的原因就是因为字符 A 总可以被字串 α 自由替换，而无需考虑字符 A 出现的上下文。如果一个形式语言是由上下文无关文法生成的，那么可以说这个形式语言是上下文无关的。。
上下文有关文法是一种形式文法，其中任何产生式规则的左手端和右手端都可以被终结符和非终结符构成的上下文所围绕。上下文有关文法比上下文无关文法更一般性，但仍足够有秩序得可以被线性有界自动机所解析。
马尔可夫算法是使用类似形式文法的规则在符号字符串上操作的字符串重写系统。安德雷·马尔可夫算法被证明是图灵完全的，这意味着它们适合作为一般的计算模型，并可以用它的简单概念表示任何数学表达式。
乔姆斯基体系是计算机科学中刻画形式文法表达能力的一个分类谱系，是由语言学诺姆·乔姆斯基于1956年提出的。它包括四个层次：
在计算机科学中，正则文法是产生式规则取下述形式的一种形式文法：
乔姆斯基体系是计算机科学中刻画形式文法表达能力的一个分类谱系，是由语言学诺姆·乔姆斯基于1956年提出的。它包括四个层次：
Mini wiki
