Праволинейная грамматика

Праволинейная грамматика (Right-linear grammar) --- грамматика [math]\displaystyle{ G = (N, \Sigma, }[/math] [math]\displaystyle{ P, S) }[/math], в которой каждое правило из [math]\displaystyle{ P }[/math] имеет вид

[math]\displaystyle{ A\longrightarrow\alpha B }[/math] или [math]\displaystyle{ A\longrightarrow\alpha }[/math], где [math]\displaystyle{ A,B\in N }[/math] и [math]\displaystyle{ \alpha\in\Sigma^* }[/math].