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


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


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


 

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

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

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

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




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



Книжный магазин