54
правки
Изменения
→Контекстно-свободная грамматика
'''[[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|Контекстно-свободная грамматика]]''' ('''КС-грамматика''', '''бесконтекстная грамматика''') — частный случай формальной грамматики, у которой левые части всех правил являются одиночными нетерминалами, то есть все её продукции имеют вид L → R, где L - нетерминал, а R - последовательность терминалов и нетерминалов.
Другими словами, для задания КС-грамматики необходимо задать:
* Множество <tex>\Sigma</tex> терминальных символов
* Множество <tex>N</tex> нетерминальных символов
* Стартовый нетерминал <tex>S \in N</tex>
* Множество продукций вида <tex>A \rightarrow B_1 B_2 ... B_n</tex>, где <tex>A \in N</tex>, <tex>B_i \in \Sigma \cup N</tex>
=== Пример ===
