���ꏈ���n

���ꏈ���n(compiler �Җ�n)�̍\��

1. �����
2. �\�����
3. �Ӗ����
4. �R�[�h����

�f��𕶎�����\������K�� ... ���K���@(regular grammar)
���K�\�� (regular expression)�̗�

���W

[A-Za-z_][0-9A-Za-z_]*

���萔

[1-9][0-9]*

• �L���I�[�g�}�g���̓�����v���O�����̐���̗���� ����Ď������A�t���I�ȏ����𖄂ߍ��ށB
• �L���I�[�g�}�g���̏�ԑJ�ڕ\���Q�Ƃ��Ȃ��琧�䂷�� �@�\���v���O�����ɂ���Ď�������B���̃v���O������ ����ɂ͂��Ȃ��̂ŁA��ԑJ�ڕ\�ƕt���I�ȏ��������ꂲ�� �ɗp�ӂ���B

• c = getchar();
  while (c == ' ') c = getchar();
  switch (c)
        �p��:{
          zzleng = 0;
          do {
            zztext[zzleng] = c;
            zzleng++;
            c = getchar();
          } while (c���p���ł������ł��Ȃ�);
          backchar(c);
          zzlex = IDENTIFIER;
          zzlval = install(zztext,zzleng);
        }
        ����: ....
        ....
        '+': zzlex = PLUS;
        ....
  
  

• %%
   ' '+    { REJECT }
   [a-zA-Z][a-zA-Z0-9]*
           { yylval = install(yytext,yyleng);
             return(IDENTIFIER);
           }
   [0-9]+  { ... }
   ...
   [+]     { return(PLUS) }
  ....
  %%
  

���@�ɂ��ƂÂ����o�ɂ�鐶�����ł��邩�ǂ����̉��
��͕��@

���~�^��͖@

�n���؂̍�����t�Ɍ������Ė؂��\�����Ă���

�㏸�^��͖@

�t���獪�Ɍ������B���o�̋t�̉ߒ����Ҍ�(reduction)

�ċA���~�^��͖@

���o�ł̗�u���v�͍ʼnE���o�B �ō����o�ł�
�� => �� => ��*�� => �W��*�� => ���W*�� => ���W*�� => ���W*�W�� => ���W*(��) => ���W*(��+��) => ���W*(��+��) => ���W*(�W��+��) => ���W*(���W+��) => ���W*(���W+�W��) => ���W*(���W+���W)
�̂悤�ɂȂ�B

�u���v�̍\���K����ύX���A�ċA�I�ȉ�͖@��K�p�����v���O������������B

procedure E();
  begin T();
    while token = '+' do
      begin gettoken(); T() end
  end;
procedure T();
  begin F();
    while token = '*' do
      begin gettoken(); F() end
  end;
procedure F();
  begin
    if token = '(' then
      begin gettoken(); E();
        if token <> ')' then error();
      end
    else if token = 'i' then gettoken()
    else error();
  end;

 E -> T, E -> T + T,
 T -> F, T -> F * F,
 F -> ( E ), F -> i

L .. ������f��𒲂ׂ�
L .. �ō����o
(1) .. 1�‚̐�ǂ�

�\���^��͖@

repeat
  s:=�X�^�b�N�ŏ�i�̏��;
  a:=�‚��ɒ��ׂ悤�Ƃ��Ă���f��;
  if A[s,a]=shift then
    begin t:=G[s,a];
      �X�^�b�N��a��t�Ƃ�t���ŏ�i��
      ����悤�ɉ������݁A���͑f���
      ����a����菜��
    end
  else if A[s,a]=reduce X->Y1Y2...Yk then
    begin �X�^�b�N����k�‚̏�Ԃ�k�‚�
          �L�������o��;
      u:=�X�^�b�N�ŏ�i�̏��;
      t:=G[u,X];
      �X�^�b�N��X��t�Ƃ�t���ŏ�i��
      ����悤�ɉ�������
    end
  else if A[s,a]=accept then ��͏I��
  else ���
forever;

�u���v�̍\���K���Ƃ��ẮA

1. E -> E+T
2. E -> T
3. T -> T*F
4. T -> F
5. F -> (E)
6. F -> i

��͕\

			A							G
���	+	*	(	)	i	$		+	*	(	)	i	$	E	T	F
0			s		s					4		5		1	2	3
1	s					a		6
2	2	s		2		2			7
3	4	4		4		4
4			s		s					4		5		8	2	3
5	6	6		6		6
6			s		s					4		5			9	3
7			s		s					4		5				10
8	s			s				6			11
9	1	s		1		1			7
10	3	3		3		3
11	5	5		5		5

��͗�

�X�^�b�N	�f��̗�	����
----------------	----------	------
$0	i*(i+i)$	shift
$0i5	*(i+i)$	reduce 6
$0F3	*(i+i)$	reduce 4
$0T2	*(i+i)$	shift
$0T2*7	(i+i)$	shift
$0T2*7(4	i+i)$	shift
$0T2*7(4i5	+i)$	reduce 6
$0T2*7(4F3	+i)$	reduce 4
$0T2*7(4T2	+i)$	reduce 2
$0T2*7(4E8	+i)$	shift
$0T2*7(4E8+6	i)$	shift
$0T2*7(4E8+6i5	)$	reduce 6
$0T2*7(4E8+6F3	)$	reduce 4
$0T2*7(4E8+6T9	)$	reduce 1
$0T2*7(4E8	)$	shift
$0T2*7(4E8)11	$	reduce 5
$0T2*7F10	$	reduce 3
$0T2	$	reduce 2
$0E1	$	accept

��̍\���K���� yacc �ŏ������Ayacc -v �R�}���h��p����� y.output �Ƃ����t�@�C�����ł���B

�錾�̏���

�u���b�N�\�������Œ���ł́A���炽�� �u���b�N�ɓ��邽�тɖ��W���Ǘ�����\���쐬����A�u���b�N ����o�鎞�ɏ��ł���B

���E���̏���

�f�[�^�^�̓K�����A��щz����̓K�����B

�L���ꏊ�̊��蓖��

�v���O���������s����鎞�̐ÓI�ȕϐ��̈�

• �œK��
• ��������(�l�Ăяo���A�ϐ��Ăяo��)
• �������[����B���I����t��(system call)