Изменения

|definition=Говорят, что [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|контекстно-свободная(к.с. ) грамматика ]] <tex>\Gamma</tex> содержит '''непосредственную левую рекурсию''', если она содержит правило вида <tex>A \rightarrow A\alpha</tex>.

|definition=Говорят, что к.с. грамматика <tex>\Gamma</tex> содержит '''левую рекурсию''', если в ней существует вывод вида <tex>A \Rightarrow^* A\alpha</tex>.