Embed Size (px)
Citation preview
��� ������������� ����
����
g• a e ML W g• I
• . :/ / -/ .: / /• cP b
• . .3 : -• . / 3 : -
2 1B• 1B
• M• 1B
• 3 : :• 4• L
• 1B N• 1B N• 1B F N
O M L• + L 2C O
• O 4• : L 31• • 3 a• a
+ +• L L M
••• 1(•• +) *( ( ( 3•• ) (
• 1• 1
• C 1
•
• :• :•
•• :
•
• , =
•• :• à à à à à
NB •
• : F NB
•
2 1B• 1B
• M• 1B
• 3 : :• 4• L
• 1B N• 1B N• 1B F N
• / /••
��������•�������������� ���������
2 1B• 1B
• M• 1B
• 3 : :• 4• L
• 1B N• 1B N• 1B F N
P• P
• :• •• U C•
O• J C
• • O• O
• a :l
• aa + m
�!������•���� �(6�������� %7�-$�09
• 82�'2�:3• )• .31*�.,1*
•/4��� ����/4�'�#7�09�-$���09��"5��;������� ���� �/4&�"5�+���� ��
• . g• kr:x Ob td• . :e cl•
• . g
• a . o Co C e i A• . o C a
hm
• ( / ) . u
/•
1 L
L . • b
• ) d• (• b• . O M b
• S ag• e• : b
) O , ) • _lEg
• , ) E E E• 1 ) mb:d E• ) ( . i Eg
• .1 E 2 , ) E ) ) a) ) 2 p n
• , ) (, _loe• ,1 , a
, ,1 E n
. :. . .
• xl u p E �� f : gn• u ������ e
• r_ p• . xl ot vdE• . a• k ot E l• xl ot p i E l• . xl otm p l yE l• ( ) p hE l
L ) .- • c Ea d R a
P• C ( (- -
• .
• .P
•
••
L .•
2 1B• 1B
• M• 1B
• 3 : :• 4• L
• 1B N• 1B N• 1B F N
)• l v mB T M ���������
• PR hyo• l v mBir a
• sJ ANANH e YC M• . • : • ( • : :
• ANANHl v c L M• n k
{
}
%%
%%
.
.
%token LPAREN RPAREN SEMISEMI %token PLUS MULT LT %token IF THEN ELSE TRUE FALSE %token <int> INTV %token <Syntax.id> ID
%start toplevel
%type <Syntax.program> toplevel
.
��������� ���� toplevel : e=Expr SEMISEMI { Exp e }
Expr : e=IfExpr { e }
| e=LTExpr { e }
LTExpr : l=PExpr LT r=PExpr { BinOp (Lt, l, r) }
| e=PExpr { e }
PExpr : l=PExpr PLUS r=MExpr { BinOp (Plus, l, r) }
| e=MExpr { e }
MExpr : l=MExpr MULT r=AExpr { BinOp (Mult, l, r) }
| e=AExpr { e } AExpr : i=INTV { ILit i } | TRUE { BLit true } | FALSE { BLit false } | i=ID { Var i } | LPAREN e=Expr RPAREN { e }
IfExpr : IF c=Expr THEN t=Expr ELSE e=Expr { IfExp (c, t, e) }
- L PI M
/ 0 0 - : .0 / 0 - 0 -; / / 3
))(• c a F
• . ))• c L . )
• e : c a• ( • )(
• c C :
{ }
let < > = < > ...
rule < > = parse < > { < > }
| < > { < > } | ... and < > = parse ... and ...
{ < > }
.
e
l
.
0 00: :- 3 / . . 0 . - . . 0 / - 3- 0
2 1B• 1B
• M• 1B
• 3 : :• 4• L
• 1B N• 1B N• 1B F N
• 1•
• 2 1•
����������� ��1 2���
( * )( * )
+
����������� ��1 2���
( * )( * )
+
����������� �� 2 ���
( * )( * )
+ + =1
• = 2 ) • = )
( • = 1 )
) (
( * )( * )
+= 1
=
• = () (
( * )( * )
+2 1 1
2( * )( * )
+
( * )( * )
+
•• 25
•����� ����
) ) •����� ) ( ���� ) ( ) )
I L M•
0:: 23. / :0 :. 3 :. : 2 -0 0:43
2 1B• 1B
• M• 1B
• 3 : :• 4• L
• 1B N• 1B N• 1B F N
• 1 ( 2 -• ( )
• 1 -•
, , :/ / /• I
: 3 : : / : 0 - , / , : / - 3 . , 5
������• ���� � ��� ����� ��������������
-
>• >
• > - :
������
+-+ +
+
2 2
2 2: 2
,
+-+ +
+( P 4 (
+) , 4 , !
(2
4,
P
+:
+-+ +
+2=
>4
::
: :
• : :��� �����
( ( )
:•E/ 5 00 - .0 / 0 - 0 - / 5 / 3
2 1B• 1B
• M• 1B
• 3 : :• 4• L
• 1B N• 1B N• 1B F N
• ; = ) )( 1 ) )( B• ) )( ) )• ) )( ) 2
���������� ������
•
* 0*) ()- ** 1* ()
-()
�������� ������
-
(, ) ) )
() ) ) 5 à
>à
5=
��������
, ( ( ( )
= >5 -
��������
, ( ( ( à
• (, , ?
������
, ::
( )
:
, ( ( ( ) à
:
, ( ( ( ) à
2 :
, ( ( ( ) à2
d mv n ail• fex P ex
• . R ,) R (., ,)• : . .
= ,) . .= . . * * * .
• (., ,) . . t . _ exP
• y fex (., ,) }R“pf exP|
• (., ,) , . *. • ex } d . P fex V
r r { . c o . E à(., ,) . .
en V a• c
• 5 g V ), c • n c c ), R
), à )( ( ) ), à • cof )
• r )( ( ( , ) ), : ), ,à ( à )( ( ( , ) ), P V ,) ),)
