Контекстно-свободная грамматика

Контекстно-свободная грамматика (Context-free grammar) - грамматика [math]\displaystyle{ G = (N, \Sigma, }[/math] [math]\displaystyle{ P, S) }[/math], в которой каждое правило из [math]\displaystyle{ P }[/math] имеет вид [math]\displaystyle{ A\longrightarrow\alpha }[/math], где [math]\displaystyle{ A\in N }[/math] и [math]\displaystyle{ \alpha\in (N\cup\Sigma)^*. }[/math]