Информатика и выч. техника \ Системное программное обеспечение

Преобразование таблицы конфигураций в управляющую таблицу, страница 6

Выполняя либо то, либо другое, для грамматики G_LALRможно получить такую таблицу расширенных конфигураций:

Состояние	Образовано		База	Конфигурация	ОПК	Символ	Отм.
Состояние	Из	Через	База	Конфигурация	ОПК	Символ	Отм.
0			Да	Z : ▼ L		L	1
				L : ▼ E = R		E	2
				L : ▼ R		R	3
				E : ▼ R*	=	*	4
				E : ▼ id	=	id	5
				R : ▼ E		E	2
1	0	L	Да	Z : L ▼
2	0	E	Да	L : E ▼ = R		=	6
2	0	E	Да	R : E ▼
3	0	R	Да	L : R ▼
4	0,4,6	*	Да	E : ▼ R*	=	R	7
				R : ▼ E	=	E	8
				E : ▼ R*	=	*	9
				E : ▼ id	=	id	10
5	0,4,6	id	Да	E : id ▼	=
6	2	=	Да	L : E = ▼ R		R	11
				R : ▼ E		E	12
				E : ▼ R*		*	13
				E : ▼ id		id	14
7	4	R	Да	E : R ▼*	=
8	4,6	E	Да	R : E ▼	=
9	6	R	Да	L : E = R ▼

Из этой таблицы конфигураций получится уже известная управляющая таблица, в которой конфликт S(6)/R(1,1) оказывается не разрешенным, а предупрежденным:

	0	1	2	3	4	5	6
	L	R	E	i	=	*
0	G(1)	G(3)	G(2)	S(5)		S(4)
1							Stop
2					S(6)		R(1,1)
3							R(1,0)
4		G(7)	G(8)	S(5)		S(4)
5					R(1,2)		R(1,2)
6		G(9)	G(8)	S(5)		S(4)
7					R(2,2)		R(2,2)
8					R(1,1)		R(1,1)
9							R(3,0)

1 2 3 4 5 6

Скачать файл