Формальные языки


LR(k)-грамматики - часть 2


Это обстоятельство позволяет связать позицию грамматического символа в правиле грамматики с понятием состояния распознавателя. Для удобства дальнейших рассуждений введем понятие грамматического вхождения.


 

Определение.Грамматическое вхождение символа грамматики 
                         задается номером  правила и номером позиции, 
                        которая указывает место символа в  правой части 
                        правила, полагая, что самый левый символ правой 
                        части правила является первым. 

Условимся обозначать грамматические вхождения символов, входящих в правую часть правила только один раз, с помощью одного индекса, равного номеру правила. Примем также, что каждая грамматика содержит грамматическое вхождение, называемое начальным вхождением. Это вхождение задается начальным символом грамматики.

Пред.Страница 

След.Страница   Раздел   Содержание 




- Начало -  - Назад -  - Вперед -