2.
�ȉ��Ɏ��� CFG ��2��ނ̕��� `a', `b' ����ׂ��Ƃ��� a �� b �̏o���������ɂȂ���̂�����B
G: �� = { a, b };������g���ƗႦ�� abba �Ƃ����������VN = { E, A, B, AS, BS };
P = { E ����, E �� EA, E �� EB,
A �� a ASb, AS �� ��, AS �� AS A,
B �� b BSa, BS �� ��, BS �� BS B };
S = E.
�A���A�Â͋�̕������\���B
E �� E B �� Eb BSa �� Eba �� E Aba �� Ea ASbba �� Eabba �� abba�̂悤�ɓ��o�ł���B�����ʼn����Ŏ������\���P�ʂɐ����K����K�p���Ă���B
(1) ���̗�ɏグ�����o�@�����ƌĂԂ��B
(2) �����ЂƂ̓��o�@�ɂ���� aabb �Ƃ���������o����B
3.
Pascal �� C ����ł͊��̍ċA�Ăяo�����\�ł��邪�AFORTRAN �� COBOL �ł͈�ʂɂ͊��̍ċA�Ăяo���͋֎~����Ă���B����v���O���~���O����ōċA�Ăяo�����\�ɂ���ɂ́A�ǂ̂悤�ȋ@�\���������Ă��Ȃ���Ȃ�Ȃ������l�@����B
4.
�ȉ���LR��͖@�Łu���v�̍\����͂��s���B�X�^�b�N��ɂ͋L�� X �Ə�� s �����݂ɒu���A�X�^�b�N�� �ŏ�i�ɂ����� s �Ɠ��͑f�� a �����͕\ A ���Q�Ƃ��� ���Ƃɂ���ē�������肷��B��ԑJ�ڂ͕ʂ̉�͕\ G �� �^����B�A���S���Y���ƊҌ��K��(�\���K��)�͈ȉ��̂Ƃ���B
(�ȗ��E�����N�Q��)
�₢ �ȏ�̃A���S���Y���Ɖ�͕\��p���� ( i+i) *i $ ���\����͂���Ƃ��́A�X�^�b�N�Ƒf���̏�ԁA�I�[�g�}�g���̓�����ȉ��̂悤�ȕ\�ɂ������B�\����͏I���܂Ŋ��������Ȃ����B
��͗�
�X�^�b�N | �f��̗� | ���� |
$0 | (i+i)*i$ | shift |
$0(4 | i+i)*i$ | shift |
$0(4i5 | +i)*i$ | reduce 6 (shift�͊ԈႢ) |