��������, ��� ���� �������� ���� -- ��� ����� ������ ��������� �����, ���, ������� �������, ����� ��������� LR-�������� ��� ���. �� ���� ��������������� ���� ����������� �������� LR-������� (��� ������ ������) ���������. ������ ���� ������������ �������� ������� �� ����� ����������: � ������ ������ �� �������, ����� ��� �������� ���������. ��� ����� �� ���������� ���� �������� �������������� ����������, � ������ �� ���������� ���������� ������ ��� ���������� LR(0)-���������. �� ��� �����:
(1) � �������� LR-�������� �������� ������� �� ������������������ ����������� ��� ����� ������:��� ���������� ����� S ����� � ������ �����, ����� S �����������
���, ������� �������, ����� ����� S ����������� � ���������
.
(2) � �������� LR-�������� ��� ���������� ����� S �������� ����� � ��������� �������� a ����� � ������ �����, ����� S ����������� � ��������� ���������.
14.2.1. �������� ���.
���������� ��������� ���������� � ������������
����� S �� ���������� � ������������. ���� ���������
�������� ��������, � ������� ������ ��
������������� ����� ��������, �� �������, ��� ��� �����
S �������� �����. ���� �
���� ��������, �
������� ������ �� ������������� ������ ���, �� �������, ���
��� ����� S �������� ������� (�� ����������������
�������). �������, ��� ��� ����� S ��������� ��������
���� �����/�������, ���� �������� � �����, � �������. �������,
��� ��� ����� S ��������� �������� ���� �������/�������,
���� ���� ��������� ������, �� ������� �������� �������.
���������� ���������� LR(0)-�����������, ���� � ��� ��� ���������� ���� �����/������� � �������/������� �� ��� ������ ����� S.
14.2.2. �������� �� ����������� ���� ����������
LR(0)-�����������?
14.2.3. �������� �� LR(0)-������������ �����:
��� ������ ����������, ��� LR(0)-���������� ����� ���� ��� ����������������, ��� � �����������������.
14.2.4. ����� ���� LR(0)-����������. ��������, ��� � ������ �����
���������� �� ����� ������ ������� ������. ��������� ��������
�������� ����������� � LR(0)-����������.
14.2.5. ��� ����������, ���� ������������� ����� �� �����
������ � ������ ����������?
���������. 1. ��� ���������� ����� ��������� ���
������������� ������ ��� ������ ��������� ���������
��� �������� �������� S. ��� ���������
����� ����� ������� � ����� (� ������ ������ �������� ���������
��� ���� ����� T �������� ����� S).
2. �� ����� ���� ���� ����� S ����� �� ������� --
���������� ������� ��������� �������� ��� ����
��� ����� T (������� ���� S).
� ��������� �������� ����������� � LR(0)-���������� �� ���������� �� ��� ����������, ������� ����� ��. � ���� ��������� ��� ������� ��������� �������� �������, ��� � ��� �������� ������ ����� ��� ������ ������� (������ � ��������� ������ ��������, �� ������ �������). ����� ���������� �������� ��� �� ��������� ������� � ������ ����� ������� � ��������, ��������� �� ��������� ������ (Next). ����� �� ���������, ����� �������, ��� ����� ��������� Next �������� ����� (��� �� ���������, ������� � ��������� ����� ��������� ����� ��������������� �� ��������������). ������� ��������������� ����������� � ������� Next ��� ������� ������� � ���, �������� �� �������. ��� ����� ���� ���������� ����� (����������, � ������� �� ��������, �������� SLR(1)-������������ [���������� �� Simple LR(1)]) � ������ ����� (����� �������, �� ������������ ��� ��������� ����������; ����������, � ������� �� ��������, �������� LR(1)-������������). ���� � ������������� ����� ���������, ���������� LALR(1).