FreitagsrundenWiki - Benutzerbeiträge [de]

Benutzer:Grey/pss

2006-01-11T20:38:17Z

84.59.3.211: /* Directormengen */

= Milstone 1 =
* EBNF in BNF Grammatik umwandeln:
== EBNF ==
Gegeben ist folgende EBNF Syntax von microOPAL:

Prog -> Def Def * #
Def -> DEF Lhs == Expr
Lhs -> MAIN : Type | id ( [id : Type (, id : Type)*]) : Type
Type -> nat | bool
Expr -> number | true | false | id [ ( [Expr (, Expr)*] ) ] | IF Expr THEN Expr [ELSE Expr] FI

== BNF ==
Erste Umformung inklusive semantischer Aktionen:

1)Prog -> Def '''<1>''' Def´ # 
2)Def -> DEF Lhs == Expr '''<2>''' 
3)Def' -> Def '''<3>''' Def´
4) | e 
5)Lhs -> MAIN '''<5>''' : Type '''<4>'''
6) | id ( '''<5>''' Lhs´ ) : Type '''<4>''' 
7)Lhs´ -> id : Type '''<6>''' Lhs´´
8) | e 
9)Lhs´´ -> , id : Type Lhs´´
10) | e 
11)Type -> nat '''<15>'''
12) | bool '''<15>''' 
13)Expr -> number '''<7>'''
14) | true '''<8>'''
15) | false '''<8>'''
16) | id Expr´
17) | IF Expr THEN Expr fi´ 
18)Expr´ -> ( '''<10>''' Expr´´ ) '''<9>'''
19) | e '''<12>''' 
20)Expr´´ -> Expr '''<11>''' Expr´´´
21) | e 
22)Expr´´´ -> , Expr '''<11>''' Expr´´´
23) | e 
24)fi´ -> ELSE Expr FI '''<14>'''
| FI '''<13>''' 

Semantische Aktionen: 
'''<1>''' : makeDefList 
'''<2>''' : makeDef 
'''<3>''' : add2DefList 
'''<4>''' : makeLhs 
'''<5>''' : makeLhsParList 
'''<6>''' : add2LhsParList 
'''<7>''' : makeNatConst 
'''<8>''' : makeBoolConst 
'''<9>''' : makeFunCall 
'''<10>''' : makeExprList 
'''<11>''' : add2ExprList 
'''<12>''' : makeParRef 
'''<13>''' : makeCond 
'''<14>''' : makeElse 
'''<15>''' : makeType 

== Directormengen ==
{| border="2" cellspacing="0" cellpadding="4" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse; background-color:#F9F9F9; font-size:95%; empty-cells:show;"
! {{Highlight1}} |Produktion
! {{Highlight1}} |Directormenge
! {{Highlight1}} |disjunkt?
|-
|1)
|uninteressant
|ja
|-
|2)
|uninteressant
|ja
|-
|3) 4)
|{DEF} {#, DEF}
|ja
|-
|5) 6)
|{MAIN} {id}
|ja
|-
|7) 8)
|{id} {)}
|ja
|-
|9) 10)
|{,} {)}
|ja
|-
|11) 12)
|{nat} {bool}
|ja
|-
|13) 14) 15) 16) 17)
|{number} {true} {false} {id} {IF}
|ja
|-
|18) 19)
|{(} {THEN, ELSE, FI, ,, )}
|ja
|-
|20) 21)
|{number, true, false, id, IF} {,, )}
|ja
|-
|22) 23)
|{,} {)}
|ja
|-
|24) 25)
|{ELSE} {FI}
|ja
|}

== Abstrakter Syntaxbaum ==
http://www.freitagsrunde.org/~grey/pss/absy.jpg

[[Kategorie:GREY-PSS]]

Benutzer:Grey/pss

2006-01-11T20:34:12Z

84.59.3.211: /* BNF */

= Milstone 1 =
* EBNF in BNF Grammatik umwandeln:
== EBNF ==
Gegeben ist folgende EBNF Syntax von microOPAL:

Prog -> Def Def * #
Def -> DEF Lhs == Expr
Lhs -> MAIN : Type | id ( [id : Type (, id : Type)*]) : Type
Type -> nat | bool
Expr -> number | true | false | id [ ( [Expr (, Expr)*] ) ] | IF Expr THEN Expr [ELSE Expr] FI

== BNF ==
Erste Umformung inklusive semantischer Aktionen:

1)Prog -> Def '''<1>''' Def´ # 
2)Def -> DEF Lhs == Expr '''<2>''' 
3)Def' -> Def '''<3>''' Def´
4) | e 
5)Lhs -> MAIN '''<5>''' : Type '''<4>'''
6) | id ( '''<5>''' Lhs´ ) : Type '''<4>''' 
7)Lhs´ -> id : Type '''<6>''' Lhs´´
8) | e 
9)Lhs´´ -> , id : Type Lhs´´
10) | e 
11)Type -> nat '''<15>'''
12) | bool '''<15>''' 
13)Expr -> number '''<7>'''
14) | true '''<8>'''
15) | false '''<8>'''
16) | id Expr´
17) | IF Expr THEN Expr fi´ 
18)Expr´ -> ( '''<10>''' Expr´´ ) '''<9>'''
19) | e '''<12>''' 
20)Expr´´ -> Expr '''<11>''' Expr´´´
21) | e 
22)Expr´´´ -> , Expr '''<11>''' Expr´´´
23) | e 
24)fi´ -> ELSE Expr FI '''<14>'''
| FI '''<13>''' 

Semantische Aktionen: 
'''<1>''' : makeDefList 
'''<2>''' : makeDef 
'''<3>''' : add2DefList 
'''<4>''' : makeLhs 
'''<5>''' : makeLhsParList 
'''<6>''' : add2LhsParList 
'''<7>''' : makeNatConst 
'''<8>''' : makeBoolConst 
'''<9>''' : makeFunCall 
'''<10>''' : makeExprList 
'''<11>''' : add2ExprList 
'''<12>''' : makeParRef 
'''<13>''' : makeCond 
'''<14>''' : makeElse 
'''<15>''' : makeType 

== Directormengen ==
{| border="2" cellspacing="0" cellpadding="4" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse; background-color:#F9F9F9; font-size:95%; empty-cells:show;"
! {{Highlight1}} |Produktion
! {{Highlight1}} |Directormenge
! {{Highlight1}} |disjunkt?
|-
|1)
|uninteressant
|ja
|-
|2)
|uninteressant
|ja
|-
|3) 3b)
|{DEF} {#, DEF}
|ja
|-
|4) 5)
|{MAIN} {id}
|ja
|-
|6) 7)
|{id} {)}
|ja
|-
|8) 9)
|{,} {)}
|ja
|-
|10) 11)
|{nat} {bool}
|ja
|-
|12) 13) 14) 15) 16)
|{number} {true} {false} {id} {IF}
|ja
|-
|17) 18)
|{(} {THEN, ELSE, FI, ,, )}
|ja
|-
|19) 20)
|{number, true, false, id, IF} {,, )}
|ja
|-
|21) 22)
|{,} {)}
|ja
|-
|23) 24)
|{ELSE} {FI}
|ja
|}

== Abstrakter Syntaxbaum ==
http://www.freitagsrunde.org/~grey/pss/absy.jpg

[[Kategorie:GREY-PSS]]