多数程序设计语言的单词的语法都能用正规文法或3型文法来描述。
3型文法G=(V
N
，V
T
，P，S)的P中的规则有两种形式：一种是前面定义的形式，即：A→aB或A→a其中A，B∈V
N
，a∈V
T
*
，另一种形式是：A→Ba或A→a，前者称为右线性文法，后者称为左线性文法。正规文法所描述的是V
T
*
上的正规集。