在该术语的文学意义上，语法表示自然语言会话的句法规则。自自然语言(例如英语，梵语，普通话等)问世以来，语言学一直试图定义语法。

形式语言理论在计算机科学领域有着广泛的应用。 1956年，诺姆·乔姆斯基( Noam Chomsky)提出了一种数学语法模型，该模型可有效地编写计算机语言。

语法

语法G可以正式写成4元组(N，T，S，P)，其中-

• N或V _N是一组变量或非终结符。

• T或∑是一组终端符号。

• S是一个特殊的变量，称为开始符号S∈N

• P是终端和非终端的生产规则。的制造规则具有以下形式α→β，其中α和β是在_为V _N∪Σ字符串和至少一个符号的α属于_为V _N。

例

语法G1-

({S，A，B}，{a，b}，S，{S→AB，A→a，B→b})

这里，

• S，A和B是非终结符；

• a和b是终端符号

• S是开始符号，S∈N

• Productions， P：S→AB，A→a，B→b

例

语法G2-

(({{S，A}，{a，b}，S，{S→aAb，aA→aaAb，A→ε}))

这里，

• S和A是非终结符。

• a和b是终端符号。

• ε是一个空字符串。

• S是开始符号，S∈N

• 生产P：S→aAb，aA→aaAb，A→ε

语法衍生

可以使用语法中的产生式从其他字符串派生字符串。如果一个文法G有生产α→β，我们可以说，XαŸ导出XβŸG中。该推导写为-

Xαÿ⇒ģXβÿ

例

让我们考虑一下语法-

G2 =({S，A}，{a，b}，S，{S→aAb，aA→aaAb，A→ε})

可以导出的一些字符串是-

小号⇒AA(B)使用产生式S→aAb的

⇒一个AA BB使用生产AA→aAb的

⇒使用生产aA→aAb aaa a bbb

⇒使用生产A→ εaaabbb