Model-driven analysis and synthesis of concrete syntax

HAL Id: hal-00795597

https://hal.inria.fr/hal-00795597

Submitted on 11 Mar 2013

HAL is a multi-disciplinary open access

archive for the deposit and dissemination of

sci-entific research documents, whether they are

pub-lished or not. The documents may come from

teaching and research institutions in France or

abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est

destinée au dépôt et à la diffusion de documents

scientifiques de niveau recherche, publiés ou non,

émanant des établissements d’enseignement et de

recherche français ou étrangers, des laboratoires

publics ou privés.

Model-driven analysis and synthesis of concrete syntax

Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel

Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel

To cite this version:

Pierre-Alain Muller, Franck Fleurey, Frédéric Fondement, Michel Hassenforder, Rémi

Schnecken-burger, et al.. Model-driven analysis and synthesis of concrete syntax. Proceedings of the

MoD-ELS/UML 2006, Oct 2006, Genova, Italy. �hal-00795597�

123456789A4BCDBE5F9CEB3CFB49C2C2B844CFBEC

C

123443567829ABC7734DEAF489AF73C43DEAF442AF9339EAB237A 839434EA2A9339 C4!34"EA 8239A#484"EA$3895B84A$%&C37DC

D_{A''6A(A')'6A3993AA}

3993EAF4893A

{pierre-alain.muller, franck.fleurey, jean-marc.jezequel}@irisa.fr

A A *73A17392&C3AF4873A3A+8C8993A,*1F+-A +8C8993EA.2%34789AA frederic.fondement@epfl.ch C _{AB'1EA/920342A3A8C356783A} BC7C3EAF4893AA michel.hassenforder@uha.fr A " A+8 48243A1'9!4829A3A23A3A3A3397!23A,+'3-A 428428A5A71*934!23A62&C3A,4*6-A 878EAF4893AA

{remi.schneckenburger, sebastien.gerard} @cea.frA

D8EA B383729!A 2A 48229!A 43A 89A 43A 29343A 29A 3A 237A A 789!C8!3A39!2933429!6A7273A2A88848A2A9.A.377AC934A4A32929!A 8 48A9893EA4877A 32929!A 9433A9893A.2A3837A2A 277A 8A 87739!36A 49433A 9893A 843A 48229877A 398433A .2A 4C73EA 9429!A A *:)F5723A !4884EA .2A 89A 3A 8433A A 82734A 82734A A !393483A 884346A /94C9837EA 33A !393483A 88434A 84C3A 9433A 989A 433EA 738029!A 8A !88A .2A 3A 8 48A 989A 3293A A 3837EA 89A C434A 85A 89529!A 2A 43&C2436A '9A 2A 88834A .3A 8483A 8A 93.A 29A A 8322829A 4A 9433A 9893EA .2A 83A 80898!3AA3837AA!393483AC77A83482987A7A,CA8A88434A4A 39A!393484-6A33A84292873A2AA88A8 48A9893AA9433A9893A 028A 22432987A88829!537A.2AC884A4A A375539EA89A395 537A48948296A

CB82392BC

B385789!C8!3ACA8AB;FDEA*82A4A<3438EA37A293489!3A827223A CA8A=B'"A89A7A CA8A)3 389A B>?A4A*7283A *BF@A89A 3A C3A4A8A .23A489!3AA8C483EA297C29!A789!C8!3A39!2933429!6A7273A383729!A2A9.A .377AC934A4A3A329229AA8 48A989EA3A487A329229AA9433A

AAAAAA123443567829ABC7734DEAF489AF73C43DEAF442AF9339EAB237A839434EA 2A9339 C4!34"EA 8239A#484"EA$3895B84A$%&C37DA

989A2A277A8A87739!3EA3039AC!A9433A989A329229A2A92343A8A89A 28489A884AA383729!A6A

A

:329!A8 73AA8843A8A39A89A4894A2A29A8A37EA4A 329!A8 73AA!393483A 39A 4A 8A 37A 843A 9349A 8A 843A 329!A 882A 43A 89A 43A 83929A 29A 29C46AF4A29893EAB24A.2A3A>+A37BA4A=82CA.2A=BFAB82CA 29A3A82958322A789!C8!3A39!2933429!AC92EA843A.A29C4287A 7C29A 4A 789!C8!3A 39!2933429!A 8A 290703A 8322829A C3A 4A 3A !3934829A A 7A CA 8A 88434A 89A 3246A 6A 93.A ;B#A 8984EA B;F339DDEA 2A 87A 329!A 303783A 43!8429!A 9433558 48A 88829!6A 67C!A 2A 88834A C3A 9A 39C87A 9433A 989EA 2A 2A .4A 9229!A 8A 343A 843A 87A 9!29!A 433843A 8 CA3729!A!488287A9433A989DDED6A

A

B89A A 3A 938A 329A C4A .4A 83A 324A 4A 29A 3A 32987A .4A 9C3A29A3A783A2923A9A!4884A89A!488A89A29A3A3847A32!23A29A3A 237A A !39342A 39024939A !393484A ,CA 8A 4398C4D-A 8EA .39A !2039A 3A 487A 8322829A A 8A 84!4829!A 789!C8!3A ,989A 89A 3892-EA 84C3A 8A 789!C8!358322A390249396A

A

3343A2AC44397A8A7AA29343A29A3A37.843AC92A8 CA38 7229!A 42!3A 3.339A 58773A 397!287A 883D"6A F4A 29893A B6A 7234A 89A #6A <48734A 803A 843393A 8A 42!3A 4A !4884.843A A 37.843D?EA .3438A B6A 678939A89A'6A1443A2CA3A8823A 42!3A4A37.843AA!4884.843EA29A 3A939AA88829!AB;FA3837AA9395433A#4884D@6A<C934A66A!3A 93A 38AC434A 89A !393483A8A37A 88434A 93A3A89983A !4884A 8A 339A 90343AA8A3837DA6A

A

7273A 8A !4884A C7A 3A 92343A 8A 8A 3837EA 3A 290343A 2A 9A 9338427A4C3EA89A89A84 2484A3837A899A 3A48943A29A8A!4884DB6A *039A 3837A 3283A A 3A 3729!A A 89A 8 48A 989A 8A 43&C243A 995 420287A4894829AA 84!3A39229!A !4884.843A76A '9A 8A 84302CA .4EA .3A 803A398342393A.AA84!3A39229!A82734A82734AA!393483A8A88434A4A 3A !39342A /3)A 789!C8!3DC6A 6A 22784A 398342393EAC4929!A 89A ;B#A 8322829A

,;4+-A 29A 8A !4884A 8388 73A A 8A 88434A !393484DA 8A 339A 342 3A A >6A 63C4A89A;6A18482C6AA

A

6A.3A803A339EA3A2C3AA489429!A37A29A39EA89A39A29A37A 8A 339A8433A8A.A23439A826A6A2A23EA.3A843A9A8.843AA8A375 83A8322829AA9433A989A8A.C7A877.A A9433558 48A89A 8 48559433A88829!6AA

A

'9A2A88834EA.3A398743ACA8A 22432987A88829!A A32929!A8A3837A4A 3A8322829AA39C87A9433A989A29A8A939A.343A8 48A989A2A87A 43843393A A38376A33A4894829A342 3A29A2A88834A,4A375 53EA89A4A35537-A843A342EA89A324A33A89A 3A430343A A

B375>42039A69872A89A932AA49433A989AAAAAAA

38A 346A '9A 3A939A A2A 88834EA.3A877A 89872A3A843A A 489429!A 39A29A37EA89A932A3A843AA489429!A37A29A396A

A

33A 8E4A 234393A .2A 43783A .4A 2A 8A .3A A 9A 4A A C27A 42!3A 3.339A 37.843A 89A !4884.843A 8A 3A 7A 730376A 6C877EA .3A 843A 4834A 3983423929!A 8A 93.A .8A A C2729!A 7A 4A 84!4829!A 789!C8!3A ,CA 8A 82734A 4A '>*-A A C29!A 3837A .2A 3 3A 43C7A 4A 3A 789!C8!3A 34A2437A29A3A37.843A8836A

A

32A.4A83A8783A29A3A939AA3A<3438A84E36A<3438A2A89A E35 42393A393C8 73A385789!C8!3EA.2A89A 3AC3AA832A A8 48A989A 89A83482987A3892AA8A789!C8!36A

A

32A88834A2A4!892%3A8A77.FAA3A294C29A398293A3A43783A.4A 89A 2083A C4A 84887GA 329A A 84339A C4A 3837A 4A 9433A 989EA 89A3987829A3A3892A.2A843A 3296A329AA84339A.A398873A.2A 277C483A 3A .8A 9433A 989A 89A 3A 373A 89A 8283A A 37A A 3A 8 48A9896AF29877A329A"A48.A3A!393487A97C29EA89AC7293ACC43A .46A

C123459BC2B844CFBEC

+31A 9234A 3A 77.29!A 3837A A 8A 789!C8!3A .2A 3293A 37A 8A 77329AA83A.343A83A803A842 C3EA.2A29AC49A803A8A836A A A 984C C14E!2345C2CE8ECFBEC28CEC9!"54C5EBE4C A 6A8287A9433A989A8A 3FA A Type Mail { From : User To : User } Type User { Name : String } Type String; 984CC C#E!"54C2C2B844CFBEC

"AAAAAA123443567829ABC7734DEAF489AF73C43DEAF442AF9339EAB237A839434EA 2A9339 C4!34"EA 8239A#484"EA$3895B84A$%&C37DA

33A 3837A 9A F2!C43A DA 3293A 3A 8 48A 989A ,3A 938A A 3A 789!C8!3-EA CA 929!A 2A 82A 8 CA 9433A 9896A 73A 803A A 29A 3A .8A A 83229!A .A 8A 94C29A A 3A 789!C8!3A 2A 439343A 29A 396A '9A 3A 939A C 5 329A.3A.277A398293A.A8A3837AC7A 3AC3A4A8A8C4836A

C$A48A94%C2C4C!4E!2345C

6A 339A 29A 3A 84302CA 398873EA 3A 3837A A 3A 8 48A 989A 8A A 3A 873393A.2A9433A989A2948296A'9AC4A83EA2A294829A.277A 3A 3293A29A 34A A8934A3837EA.2A 8AA 3AC3A8A8A88929A A 3A 3837A 87438A 32929!A 3A 8 48A 989A A 3A 789!C8!3A C934A 83228296A 32A.4A2A89A307C29AAC4A84302CA.4A.2A.8A7223AA9433A989A 932D6AA

A

F2!C43AAC842%3A3A888486AA6A4C923EA A4A89872A4A932EA3A 37A A8 48A89A9433A989A843A29348433A A8A!39342A8293A,.4239A 29A 34A A A 3837-A .2A 8344A 3A 22432987A 4894829A 3.339A39A89A376A A A A 984C& CDC!23456389A4BC4B489C!E9B4C"4828!C4C9398492BE5C 8EB28!E92BC A 33A3837A4A9433A989A2A28783A9AF2!C43A"6A6A9433A989A8A 8A 8573037A 394A 829EA 8342872%3A A 3A 4A 78A .2A .9A 8573037A 4C73A 48!39A89A3857836A6A37AA9433A989A2A C27A8A8A3AA4C73A,3A C 5783AA8 48A78A1234-6A33A 42!3A 3.339A3A3837AA8A789!C8!3A 89A3A37AA2A9433A989A2A 83A9A.A385783FA53677A89A84692A4A 43832037A 43343929!A 3A 783A A 3A 8 48A 989A 3837A 89A 324A

B375>42039A69872A89A932AA49433A989AAAAAA?A

84834236A 33A 78A B4CD3694A 83A 3A 99329A 3.339A 8A 78A A 3A 3837A89A2A4438929!A4C736A33A78AE6324A,89A2AC 5783-A89A3A 78A F94A69A 83A 3A 99329A 3.339A 3A 8483423A A 8A 783A 89A 324A 087C36A33A78AE6324A2AC3A4A8483423A.3AC728722A2ADA.273A3A78A F94A69A8973A77329A8283AA8483423A.2AC728722A!43834A89AD6A 33A 4382929!A 783A A 3A 3837A 84023A 3A CC87A 94C29A 4A 3A 8322829AA9433A989ACA8A342987EA3&C393A89A8734982036AA A String «datatype» className: String featureName: String Feature Rule classMain: String Class ObjectReference PrimitiveValue Value terminal: String Terminal Template Sequence Alternative Iteration PolymorphicCond value: EString CustomCond Condition Root RuleRef features * container 0..1 1 feature 1 feature 1 identifier ref 1 1 subRule subRules 1..* 1 subRule rules * rule 1 start 1 1 metaclass 1 metaclass metaClasses * 0..1 separator 1..* condition

A

984C' C$A48A94%C2C4C!4E!2345C28C2B844CFBEC A

>C429!A 89872EA 3A 298CA 438A 2A 392%3EA 89A 8843A A 8A !39342A 88434A .2A 83483A A 37542039A 43C4203A 3396A :A 37542039A 43C4203A 339EA.3A32!983A8A43C4203A85.9A88429!A843A.2A2A829!A80898!3A A 3A 9.73!3A 88C43A 29A 3A 37A A 8 48A 89A 9433A 9896A 7273A 3A

@AAAAAA123443567829ABC7734DEAF489AF73C43DEAF442AF9339EAB237A839434EA 2A9339 C4!34"EA 8239A#484"EA$3895B84A$%&C37DA

88434A 43!92%3A 0872A 3&C393A A 39EA 2A 2989283A 3A 8 48A 989EA 89A C27A89A8 48A4384339829A,8C877A8A37-A4438929!AA3A298CA396A

A

>C429!A 932EA39A 2A !393483A A 8A !39342A 932%34A.2A 83483A723A8A 37542039A 38783A 39!2936A 33A 932%34A 022A 3A 37A ,94A A 3A 8 48A 989A 3837-A 89A C3A 3A 84339829A 294829A 808278 73A 29A 3A 9433A989A37A,94AA3A9433A989A3837-AA33A39AA3A C8CA4386A

A

'934329!7EA A 8433A A 89872A 89A 932A 843A 2!7A 342EA 89A 293A 3A 843A 3A 83A 342829EA 3A 843A 430342 736A '933EA 8A !A 0872829A 393423A 2A A 8344A .A 93258843A 3&C393EA 89A  3403A 8A 343A 843A 9A 234393A29A A!393483A396AA

A

33A77.29!AC 5329A3827A3A3892A8283AA38A37339AAC4A 9433A989A3837EA4A A89872A89A932A84832036A

C(4!"5E4C854C

6A 38783A 4C73A 83A 3A 99329A 3.339A 8A 78A A 3A 3837A ,84834A C4963677-AA89A8AC 54C736AA

• DBE5F9C4!EB9 A33A38783A83223A8A89A E3AC7A 3A43836A33A 3878A2A2989283A89A3A E3A2A3A8A3AC4439A E36A33AC 54C73A2A 2903A89A3AC4439A E3A2A2922872%36A'A89A3444AC4A3AC4439A E3A 2A2236A

• FB49C4!EB9 A33A38783A83223A.2A  E3AA342872%36A 33AC 5 4C73A2A2903AA!393483A3A4438929!A396A

&C(48!9BE5C854C

6A342987A4C73A4384339A8A39A.3A087C3A2A989A89A9.9A8A3729!A236AA 33A39A087C3A2A43A29A3A84834A94AC63AA83A9AA29A78AB4AC636A • DBE5F9C4!EB9 C(3A39A29A3A298CA438ACA 3A3&C87AA3A342987A

087C36A 33A 39A 2A 287A 9C36A 'A 3A 39A 3A 9A 44389A 89A 393829A2A4.96A

• FB49C4!EB9 A33A342987A087C3A2A888393AA3AC8CA438A879!A .2A4829!A294829EACA8A.23A8836A

'C4)4B4C854C

6A3&C393A83223A89A 4343A77329A A C 54C736A 6A3&C393A 8A8A 738A 93A C 54C736A

• DBE5F9C4!EB9 A33AC 54C73A843A2903AC320376A'A89AC 54C73A827A 3A.73A3&C393A2A2236A

B375>42039A69872A89A932AA49433A989AAAAAAAA

• FB49C4!EB9 A33AC 54C73A843A2903AC320376A

*C48E92BC854C

69A 234829A 83223A 3A 4383229A A 8A C 54C73A 89A 84 2484A 9C 34A A 236A 32A 4C73AC3A8A77329A,84834A 964AA A83A84692A4-EA89A 8A803A8A342987A A 3AC3A8A8A388484A 3.339A37339A,84834A74D6A69AAA83AB4AC63-6A • DBE5F9C 4!EB9 A 33A C 54C73A ,89A 388484EA 2A 83223-A 2A 2903A

438322037EA C927A 3A C 54C73A 8276A F4A 38A C3C7A 290829A 89A  E3A 2A 83AA3A77329A83223A A3A982934A38C436A

• FB49C 4!EB9 A 33A C 54C73A 2A 888723A A 38A  E3A 29A 3A 4334393A 77329EA 89A 3A 82987A 388484A ,2A 83223-A 2A 29343A 3.339A 3A 39A .2A843A932%3A4A.A93C203A373396AA

+CD548BE9A4C854C

69A 873498203A 88C43A 0842829A 29A 3A 9433A 9896A 69A 873498203A 8A 89A 4343A 3A A 9229A .2A 4334A A 8A C 54C736A 73A 803A 3293A .A 83A A 92296A 4CA 9229A 843A C27A 034A 3A 38C43A A 8A !2039A 78A ,8A 3A 8A 34203A 84834EA 2A 3A 9229A 8A A 290703A 43A 89A 93A 78-EA .273A 87482A9229A843A C27A034A3AC 5783AA8A!2039A786A

• DBE5F9C4!EB9 A 32A2A3AA8739A 8348296A ;39A343A 2A 9A7C3A 29A 3A C8CA 438A A 334293A 3A 9229A ,29A 3A 393A 3293A 29A 3A 3837A 4A 9433A 989-A .2A 37A .39A 3A 39A .8A 43836A 'A 2A 34343A 93384A A 2934A 2A 9229A .273A 88429!A 3A 298CA 4386A 33A 2873A7C29A, CA87A3AA23A9C29!-A2AA4A38A 489AA3A 873498203EA C927A 93A 3A 9A 8276A 73A 803A 39A A 287339A CA 84829!A87!42A29AC4A8483A2873398296A'A2A.4A9229!A8A 3A4343A77329AA9229A89A87A 3AC3AA8973A8424223A 3.339A 97229!AC 54C736A

• FB49C 4!EB9 C 33A 9229A 843A 3087C83A 29A 3A 434A 3293A 29A 3A 77329EA89A3A24A93A.2A3087C83AA4C3EA42!!34A3A8283A4C736A

,C-89!99A4CAE54C854C

33A 4C73A AC94E6324A 83223A 8A 3A 087C3A A 8A 38C43A 2A 8A 7234876A 33A 83A A 3A4334393A38C43AC7A 3A8A8422203A83ACA8A:7389EA'93!34A4A429!6AAA • DBE5F9C4!EB9 C33A723487A087C3A4438929!AA3A83AA3A38C43A2A

8843A29A3A298CA4386A33A43C7A2A82!93AA3A4438929!A38C43AA 3AC4439A E3AC973A3A83A903429A82736A

• FB49C4!EB9 C33A 087C3AA3A38C43A29A3AC4439A E3A2A90343A A8A429!A89A888393AA3AC8CA4386A

BAAAAAA123443567829ABC7734DEAF489AF73C43DEAF442AF9339EAB237A839434EA 2A9339 C4!34"EA 8239A#484"EA$3895B84A$%&C37DA

.C$/4C84484B4C854C

32A4C73A287339A3A354334392829AA39C87A2392234AA E36A'392234A ,CA 8A 983A 4A 9C 34-A 843A C3A 29A 39A A 4334393A  E3A .2A 384A 89A 842 C3A.3A087C3A9829ACA23922346A

• DBE5F9C 4!EB9 A 33A 4334393A .2A 2A 39483A 4A 3A 298CA 438A 2A C3A 8A 8A 3A A &C34A 3A 37A A 33A 2A 2A 2A 82 73A A 29A 8A 829!A 373396A'A343A2A8A8EA3A88434AC883A3A37339AC934A94C296A'A 343A2A9A8EA3A88434A8C3A8A3A4334393A23A3A9A 3A392A , 38C3A2A2!A 3A3293A7834A29A3A39-A89A4383A8A!AA 3A4334393A 29A 8783EA 89A 29877A C883A 3A 37339A C934A 94C29A .2A 8A 4334393A A 8A !6A :A 3A 39A A 3A 88429!A 843EA 877A !A 803A A 3A 43703EA C973A343A2A8A88429!A34446A

• FB49C4!EB9 A33A2392234A2A2437A84293AA3AC8CA4386A

0C154C84484B4C854C

33A4C73A1234144A44A4334393A8A8573037A4C73A48!39EA43AC934A3A4AA 3A9433A989A376A

• DBE5F9C 4!EB9 A 33A A4A 4C73A 2A 42!!343A 89A 3A 43C7A 2A 82!93A A 3A 38C43AA3AC4439A E36A

• FB49C4!EB9 A33AA4A4C73A2A42!!3436A A

33A 77.29!A 329A .A .A 3A 9433A 989A 3837A 2A C3A 4A 83229!A9433A9896A

&C#E!"54C

33A77.29!A398873A803A 339A2873393A.2AC4A84836AA

&CDCA48FC9!"54C4E!"54C2C2B844CFBEC"499E92BC

#29!A 8AAC4A877A789!C8!3A398873EA.3A89AC3A3A43739203A324AA*BFA ,33A F2!C43A ?A 37.-A A 4383A 8A 37A 2437A 8A 29893A A 3A 783A A 3A 8 48A9896A32A84!48A3293A433A83A,B827EA/34A89A429!-6AA

B375>42039A69872A89A932AA49433A989AAAAAACA

A 984C* C24C2C4C84549A4C43928C2C#1C2C84E4CEC!2345C

73A .277A 9.A C3A C4A 3837A A 9433A 989A A 832A 3A 39C87A 43843398296A'9A3A398873AA9433A989A!2039A3847234A,33AF2!C43A-EA343A2A 9A8322A8342872%829AA3A37A29A3A396A6A83A2A37843A A8A3.4A 77.3A A8A983A89A89A82987A77329AA842 C36A6A77329A2A393A A C47A 483GA 89A 38A 77329A 2A 83223A A 8A 3257C96A )23A 8A 3A 9829A877.A4.84A4334393AAUserA89AString6A

A

6!829EA .3A 8A C3A 3A 43739203A 324A A *BFA A 2989283A 3A 783A A 3A 3837A 4A 9433A 9896A 6A 482!4.84A 37A A 2A 9433A 989A 2!A 3FA A A 984C+ C24C2C4C84549A4C43928C2C!2345C2B844CFBEC A '9A2A37EA343A2A97A93A8573037A4C73A.2A342 3A3A9433A989A A 3A 789!C8!36A 33A 37A 2A C27A 8A 8A 883A A 4C736A 33A 37A 84A .2A 89A 234829A034A836A33A3&C393A3987829A8A83A84A.2A3A342987AHType1EA 77.3A A 8A 983EA89A39A 89A873498203A 38C3A83A 8A 803A8A77329A A

DDAAAAAA123443567829ABC7734DEAF489AF73C43DEAF442AF9339EAB237A839434EA 2A9339 C4!34"EA 8239A#484"EA$3895B84A$%&C37DA

842 C36A 642 C3A .39A 84339A 843A 37223A A C47A 4836A 33A 77329A A 842 C3A 2A 398433A A 89A 234829EA .2A 29A C49A 9829A 8A 3&C393A 83A A 8A 983EA77.3A A8A388484A,342987AH:1-A89A29877A8A4334393AA8A836A

A

;39EA2A2A3248 73AA843A3A884AA3A9433A9896A334343A38783A A9A803AA 3A933EA89A89A 3A3293A29202C877A8A3A8A73037AA3A37A A3A9433A 9896A 33A77.29!A82C43A4384339A CA0842829EA4A3A83A 9433A9896A+29A 3.339A293839397A3293A38783A843A43872%3A.2A4C73A 4334393A,RuleRef-6AA

A

A

984C, C3E89E92BC%9C2"654A45C84E54C4!"5E4C

:A 4384339829A 843A 877A 3&C2087396A 33A 8843A 37A 4A 3A !393483A 39A843A2392876A

&C123459BC9!"54CE89!49C4"8492BC

32A39A398873A2A 83A9A3A4822987A398873AA84232A3984329A 8AC9A29A89A39 A8 CA8278296A33A77.29!A82C43A4384339A3A 3837A,3A8 48A989-A4A2873A84232A39843296A

B375>42039A69872A89A932AA49433A989AAAAAADDA A 984C. C14E!2345C28C9!"54CE89!49C4"8492BC 33A8 48A989A9829A3A77.29!A37339FA • 123456A384339A3A4AA89A84232A39843296A • 4!48B4486A384339A89A293!346A • 159"59E9A4$"6A384339A8A 2984AC72872829A834846A • D3399A4$"6A384339A8A 2984A8229A834846A A

+31A 24A 398293A 8A 843293A 9433A 989A 4A 39843296A 33A 83484A 2A 87.8A783A29A49AA3A 83489EA89A3A8424223A843A287227A 398433A8A 3A290829AA38A834846A33A77.29!A9433A989A37A8433ACA 843293A98296A

A

A

DAAAAAA123443567829ABC7734DEAF489AF73C43DEAF442AF9339EAB237A839434EA 2A9339 C4!34"EA 8239A#484"EA$3895B84A$%&C37DA

A

)23A 8A .3A 803A 343A 303487A 29383939A 8573037A 4C73A 48!396A 33A 24A 48!39A2A 3A394A 829A387836A 33A 39A48!39A ,MultiplicativeOp-A 2A29A84!3AAC72872829A834846A'A2A C27A8A8A3&C393A83AA3A3.4A Hoperator1A 77.3A A 8A 84A 2!9A 89A , 3.339A 8843933-A .A 93C203A 290829AA3A3984329A4C73EAA8973A43832037A3A7358952!9A,7-A89A 42!589523A ,4-A A 3A 3984329A ,388483A A 8A 8-6A 33A 24A 48!39A ,AdditiveOp-A 2A C27A 9A 3A 83A 33A 8A 3A 843339A 48!396A 33A ,NumberInteger-A 37A 2873A 293!34A 087C36A 33A 78A 4C73A 48!39A ,3A 3984329A 873498203-A 83A .2A 489A A 83A 83A 9A 3A 8C87A 78A A 3A 8843A 373396A 33A 434A A 33A 873498203A 2A 9A 38929!C7A 4A 843293A 39843296A

A

)95842%3A 873498203A 843A 8A 8287A 2C3A 4A 88434A .2A 83483A A 43C4203A 3396A 72A C4A 88848EA 8A 995842%3A !4884A ,CA 8A 3A 4383229AAHoperator1A29A AC728728203A89A82203A83484-A2A9A43877A 89A2C3EA 38C3A3A483!AC3AA8987%3A89A873498203A2A 83A9A 84829!6A :4893A 843A 423A 29A 8A 4.EA C927A 343A 2A 9A 88429!A 3444EA .2A 389A 8A 3A 443A 489A8A 339AC96A1482877A83829!EA2A843A43829A43898 7A &C2EA8A2A2A82 73AA087283A,4A9-A3AC4439A 489A8A9A8A3A 7AA 3A83484A2A39C9343A29A3A298CA4386A A 6A8287A9433A989A398873A2!A 3FA A operator + ( operator * ( 3 , 2 ) , 1 ) A

7273ACA843293A9829A2A38A A8843A A8293EAC89A39AA84334A 89A29293A4384339829EA734AA3A.8A8C829A2A93A89C8776A33A83A 3984329A43843393A29A2929A9829A2FA

A 3*2+1

).A 2A 2A 9A 82 73A 8943A A 2!943A 3A 83484A 8433393EA 8A 2A .8A 3A 83A .2A 3A 9958 2!CCA 843293A 98296A 33A CC87A 88848A 92A 29A 3929!A 3A 84242A A 83484A A 294C29!A 93.A 29343283A  7A CA 8A TermA89AFactor6A A '9A7293A.2A88434A.2A83483A A43C4203A339EAC4A8483A287339829A 43&C243A87A903429!A4C73A.2A73543C4202A29A4C73A.2A42!543C42026A'9A 3A39EA3A!4884A,398433A29A:)F-A 33FA A

<Expression> ::= <AdditiveOP> | <Term> <Term> ::= <MultiplicativeOp> | <Factor>

B375>42039A69872A89A932AA49433A989AAAAAADA

<Factor> ::= <NumberInteger>

<AdditiveOp> ::= <Term> ‘+’ <Expr>

<MultiplicativeOp> ::= <Factor> ‘*’ <Term> <NumberInteger> ::= [0-9]+

A

CA43.4229!A8A 3A8A7273A 2A32CEA CA2A97A43&C243A4A789!C8!3A.2A C884A2929A9829A4A84232A39843296A

A

33A 77.29!A 82C43A .A .A 2A 434C7829A 2A 843393A 29A 8A 37A 94AAC4A9433A989A38376A

A

A

984C5 C2B844CFBEC28C9B943C4"8492BC A

33A 38783A AdditiveOpA 3293A 8A 3&C393A .2A 84A A 29029!A 3A termA 4C73EA 77.A A 8A 87CA 2!9A 89A 2923A A 8A 877A A 3A expressionA 4C736A 33A MultiplicativeOpA 2A C27A 9A 3A 83A 33EA .273A 3A NumberIntegerA38783A8973A'93!34A087C36A6A342 3A3847234A29A:)FEA3A 3984329A 873498203A 2A 83A A 3234A 8A 877A A 3A AdditiveOpA 4C73A 4A 8A 877A A 3AtermA4C736A

'C2B592BC

32A .4A 8A 3A 023.3A 8A 89A39834239829A4A 3A 8322829A A 9433A 989A29A3A939AA3853729!A888723AA789!C8!3A39!2933429!6AA

D"AAAAAA123443567829ABC7734DEAF489AF73C43DEAF442AF9339EAB237A839434EA 2A9339 C4!34"EA 8239A#484"EA$3895B84A$%&C37DA

73A803A8483A8A93.A88848EA 83A9A3837EA.2AC884A8A487A 22432987A88829!AA A9433558 48EA89A8 48559433A9896A

A

6A8483EA 83A9A43C4203A339EA.2A43872%3A A89872A89A932A A 9433A 989A 8A 339A 2873393A 9A 8A A *BFA 29A *72836A 32A 8483A 8A 339A C3A A 8843A 89A 84358429A 303487A >+EA 8A .377A 8A 3A 398873A 843393A29A2A888346A

A

;C4A .4A 2A  02C7A 84A 4A 429!29!A 3292203A 89.34A A 3A 8739A 84 73A A 888729!A 3837A A 789!C8!3A 39!2933429!A CEA 879!A .2A 3A 888 27223AA393C8 73A385789!C8!3ACA8A<3438EA2AC!!3A8A789!C8!3A 89A 3A C77A 83223A 29A 34A A 3837EA 89A 8A 7A 89A 3A 8C82877A 34203A4A33A3837AAC884A33A789!C8!36A

A

'9A 3A 4A CC43EA .3A .277A 3A 29032!829!A .A A 802A 43.4229!A 4C73EA 8392877A AC29!A3892A22784AA3A 329A++A,I-A39!293ACA8AC9A 29A6)3+A 06A73A843A87A .429!A 9A8A !488287A324A , 83A 9A38783-EAA 83A3A8322829AA3A9433A989A3039A43A29C2203A4A9958328726A

A

6A7AA.4A2A277A 39ACAA83A7A 83A9A2A88848A8A4 CA89A 32239A8A3A93A29A3A!4884.843A8836A.3034EA3A843393A834287A8A 942 C3EA .2A 89A 34A 9!29!A 43384A .4EA A 8A 334A C9348929!A A 383729!A888723AA789!C8!3A39!2933429!6AA A

14484B4C

AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAA D A;B#EA496498639 8!"#$EA;B#A>C39A487(D5D"5DA,DD-6A A  A':BEA%C69EA8F((...68788.462 6(3(382A A  ABC7734EA16566EAF6AF73C43A89A$65B6A$%&C37EA&464'429639949A494(C496 362647EA29FA'934982987A4934393A9AB37A>42039A*9!2933429!A+89!C8!3A89A3A ,B>*+-EA+)4AADA,DD?-EA886A@"JAB6A A "_{A;B#EA)C3496(696F94A*64 )F+#"!EA;B#A>C39A487(D?5DC5DDA,DD?-6A} A

?_{AC9AB243EA496(696A4D79A ,1!-A,DD?-EA8F((4693 38964!(A}

A

@

A*7283EA%3D74(438A6C4.A/ %8!-A,DD?-A8F((...63728364!(3(A A

A

A6299EA46A89A <C393A 36EAB*4A34 C496C(43 ,0EA29FA 748A 29A.843A B37A*9!2933429!A,7'B*K/B+-EA>4339EA#3489EADD6A

A

B

A #4339237EA $6EA 4A <6EA 4A 6A 89A <39A 6EA 9.6A4 869A471 0774C3 0DD3697 .9*6994A7-(437-8A6C4.A/7-6(B37EA7273EADD"6A

B375>42039A69872A89A932AA49433A989AAAAAAD?A

AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAAAAAAAAAAAAA AAAAAAAAAAAAAAAAAAA A

C_{A 4784EA 36EA *089A 66EA 8CA 16A 89A 727789A $6EA 0DD34( C496C(4331 0 2(69 A}

36264(A4(443DC49A,DD?-6A/+A8F((87 2926982C6A A

DD

A ;B#EA 8 (43 9 B4'9 BA67AC69 26264A ,3&C3A F4A 14887-EA ;B#A >C39A8(DD"5D"5DAA,DD"-6A A DD A3A+848EA$6A89AL89!37C.3A6EA370B4676C49667493EA29FA143329!AA3A"A '934982987A4934393A9A*9348423A'94829A3A,'4*'-EADDEA886A@"J@"C6A A D

A F9339EA F6A 89A :884A 36EA 6/ 496C(437 0.6A4  5A494 96'EA 29FA *C48389A 4934393A9AB37A>42039A6423C43A,*4B>6-EA+)4AA"BA,DD?-EA886ADCDJD"6A A

D_{A :448EA 16EA 47339EA >6EA >3834C9EA 36EA '93482EA $6EA <89EA #6EA +89!EA :6A 89A 18C87EA L6A}

4398C4FA 3A 36A A44(7  9*4 05 F58B6F5207 79.6A4 444A 7CD72CDA696379.6A4(443DC494AC497EA"4A,?-6AD"5"6A

A

D"

A <C430EA '6EA 62EA B6EA 89A :3%2029EA $6EA B4*63 D6471 0 F963 0DDA67636A 48'EA >;6MDDAF33483A4934393EA'9C4287A48EA'40293EADD6A

A

D?

A 7234EA B6EA <48734EA #6EA 8A( 5A6CC6A.6A4 6( (43.6A4EA 7'B*A 748EA B;>*+A(A/B+1DD?EA; 34ADD?EAB93!A:8EA$88286A

A

D@_{A 678939EA B6EA 89A 1443EA '6EA 0 14369 849.44 594'98A44 5A6CC6A7 6(496 49}

8639496C(4376A339287A4384EA3C4CA43943A4A48C34A2393EADD6A A

DA

A <C934A 66EA 4C029C69 544A69  496C(437 6( (437 AC 5A6CC6A7 6( AA6C7EA 29A 143329!A A 3A F2A '934982987A 748A 9A #488A 34894829A 89A L2C87AB3729!A3392&C3A8A*361ADD@EA88427ADD@6AA A DB_{A<729A16EA+N37A6EA89AL343A46EAB.6A(76444A(7D34AA6CC6A.6A46A} 64BA3;*BEAL76AD"EA)6AEA11AD5BDEAB8ADD?6A A DC ABC7734EA16566EA839434AB6EA93B76768A(449.44(43&6A46(5A6CC6A&6A4 :0%'D4A4414DA9EA7'B*A748EAB;>*+A(A/B+1DD?EA$248ADD?EAB93!A :8EA$88286A A

D_{A ;B#6A /B+A 6DA ; E3A 494829A +89!C8!3A ,;4+-A F2987A 683A 8322829EA ; E3A}

B898!339A#4C8EA8F((...6!64!(!25 29(O8(DD5DD5D"EADD6A A D ABC7734EA16566EA16AC34A89A$65B6A$%&C37EA(43(A444A6946DDA6*AA494 796'CD79EA29FA748A29A:3A14823A4AB37A>42039A.843A>3037839EA L89C034EA48988EADD"6A A 

A 6A 66L6EA 32A 6EA /7789A $6EA >6EA 5CD34A7- B4*;247 6( B37EA 629A 73736ADCB@A

A