��������� ���� SLR(1)-������ ���������� �� ��� ��������� ���������� ��� ��������� ����, �������� �� �������. ������, �� �������� ���������, �������� �� ������� ��� ������ ��������� ����� S � �������� -- �������� �� ������� �� ������� ������� ��� ������ ������� Next. ����� ��� ��� �������� �� �������� ������������: ��� ����� ���� ������������� �����, �� ��� �� ����� ������� ��� ����� S � ��������� ������� Next ����������. � LR(1)-������� ���� ���������� �����������.
LR(1)-������ ������� ��� � ���: ��� ���� ����������� � ����������� �������������� ���, ����� ������, ����� ������ ����� ������ �� ���������������� ����������� (������� �������, ���� ����� Next ��� �������).
����� -- ���� �� ������ ����������, �
t -- ��������� �������� ��� ���������� EOI (������� ��
����������� � ����� �������� �����). ��������� ���������
��� ��������� ���� ����,
������� �������� ���������� ����� ��������������� ����� ��������
U � K � ���� ��������� LR-��������, ��� �������
(� ������ �������).
���� ��������� � ���� ���� �� �� ����� U, �� ��������� ��������� ���� ����, ������� �����
��������� � ������ ������� ����� ������������ K, �� �������
����� ������ t. ��� ��������� (�� ��������� �� ����, �����
�� ������
��� ����������� K �������) ��
����� ����������
.
14.4.1. �������� ���������� ��� ���������� ��������
14.4.2. ��� �������� ����������� ��������?
14.4.3. ��� ��������� ����������� ���������������?
14.4.4. ������ ������� ��� ������������ ���������� ���������
��������, ������������� � ������ ������ S?
(1) ���� ����� S ����������� � ���������, ������ ����� V ���������� �� ����� J, �� ����
, �� ����� SJ ����������� � ���������
.
��� ������� ��������� ���������� ��� �������� � ��������
����� ��������� (�� ���� �� ������������ � �������������),
������������� � SJ. �������� ����������, ��� �����
������������ K � ���������� t ����� SJ �����������
. ��� �������� �� ���� ��������:
(2) ���� ������������������� � SJ (�������� ������� (1)), � V ���������� �� ���������� �, �� SJ �����������
��� ���� ���������� s, ������� ����� �������� �����, ��������� �� �����
(����� V ��� ������ ����� K), � ����� ���
, ���� ��
��������� ������ �����.
(3) ���� SJ ������ �
��� ��������� L � t, ������
-- ������� ���������� � V ���������� �� ���������� K, �� SJ �����������
��� ���� ���������� s, ������� ����� �������� �����, ��������� ��
, � ����� ���
, ���� ��
��������� ������ �����.
14.4.5. ���� ����������� ���������� �����/������� �
�������/������� �� �������� � ������� ����.
���� � ���� ��������, � ������� ������ ��
������������� ������ ���, � ������ ������ ���� �������� ��������
t, �� �������, ��� ��� ����
LR(1)-�������� ������� (�� ���������������� �������). �������,
��� ��� ����
��������� LR(1)-�������� ���� �����/�������, ����
�������� � �����, � �������. �������,
��� ��� ����
��������� LR(1)-�������� ���� �������/�������, ���� ���� ���������
������, �� ������� �������� �������.
���������� ���������� LR(1)-�����������, ���� � ��� ���
LR(1)-���������� ���� �����/������� � �������/������� �� ��� �����
����
14.4.6. ��������� �������� �������� ����������� ����� �
LR(1)-����������.
������� (� ���������, ��� LALR(1)-�������, ������ ����) ������, ��� ������� ������� LR(0) � LR(1)-���������������.
14.4.7. �������������� � �������� ��������������� �����������.
���������. ����� �������, �������
������ �� ����� ���� ����������� LALR(1)-����������. �����
����������� ��������� ����������, S -- ����� ��
������������ � ����������, t -- ��������� �������� (���
EOI). ����� ��������, ��� ��� ����
LALR(1)-�������� ������� ��
���������� �������, ���� ���������� ������ �����
�
, ������ ��� ����
LR(1)-�������� ������� �� ���������������� �������. �����
������������ ��������� (������������ �������), � ����������
���������� LALR(1)-�����������, ���� ���������� ���.
14.4.8. ��������, ��� ������ SLR(1)-���������� ��������
LALR(1)-�����������, � ������ LALR(1)-���������� ��������
LR(1)-�����������.
14.4.9. ��������� �������� �������� ����������� �
LALR(1)-����������, ������� ������ � ����� ������ ����������,
��� ��������������� LR(1)-��������.
14.4.10. �������� ������ LALR(1)-����������, �� ����������
SLR(1)-�����������.
14.4.11. �������� ������ LR(1)-����������, �� ����������
LALR(1)-�����������.
����� ��������� � ������ ������� �������
width0pt