Benutzer:Grey/pss - Versionsgeschichte

84.59.3.211: /* Directormengen */

2006-01-11T20:38:17Z

‎Directormengen

84.59.3.211: /* BNF */

2006-01-11T20:34:12Z

‎BNF

Grey: /* Implementation */

2005-12-15T22:47:03Z

‎Implementation

Grey: /* BNF */

2005-12-09T11:52:09Z

‎BNF

Grey: /* BNF */

2005-12-09T11:49:33Z

‎BNF

Grey: /* BNF */

2005-12-09T11:03:02Z

‎BNF

192.168.23.150: /* BNF */

2005-12-09T10:54:37Z

‎BNF

192.168.23.150: /* BNF */

2005-12-09T10:51:37Z

‎BNF

84.59.133.13: /* Milstone 1 */

2005-12-02T16:22:43Z

‎Milstone 1

84.59.133.13: /* Abstrakter Syntaxbaum */

2005-12-02T16:21:19Z

‎Abstrakter Syntaxbaum

@@ Zeile 72: / Zeile 72: @@
 |ja
 |-
-|3) <br>3b)
+|3) <br>4)
 |{<u>DEF</u>} <br>{#, <u>DEF</u>}
 |ja
 |-
-|4) <br>5)
+|5) <br>6)
 |{<u>MAIN</u>} <br>{<u>id</u>}
 |ja
 |-
-|6) <br>7)
+|7) <br>8)
 |{<u>id</u>} <br>{<u>)</u>}
 |ja
 |-
-|8) <br> 9)
+|9) <br> 10)
 |{<u>,</u>} <br>{<u>)</u>}
 |ja
 |-
-|10) <br> 11)
+|11) <br> 12)
 |{<u>nat</u>} <br>{<u>bool</u>}
 |ja
 |-
-|12) <br>13) <br>14) <br>15) <br>16)
+|13) <br>14) <br>15) <br>16) <br>17)
 |{<u>number</u>} <br>{<u>true</u>} <br>{<u>false</u>} <br>{<u>id</u>} <br>{<u>IF</u>}
 |ja
 |-
-|17) <br>18)
+|18) <br>19)
 |{<u>(</u>} <br>{<u>THEN</u>, <u>ELSE</u>, <u>FI</u>, <u>,</u>, <u>)</u>}
 |ja
 |-
-|19) <br>20)
+|20) <br>21)
 |{<u>number</u>, <u>true</u>, <u>false</u>, <u>id</u>, <u>IF</u>} <br>{<u>,</u>, <u>)</u>}
 |ja
 |-
-|21) <br>22)
+|22) <br>23)
 |{<u>,</u>} <br> {<u>)</u>}
 |ja
 |-
-|23) <br>24)
+|24) <br>25)
 |{<u>ELSE</u>} <br>{<u>FI</u>}
 |ja
 |}
 == Abstrakter Syntaxbaum ==

@@ Zeile 23: / Zeile 23: @@
 )Lhs´  	->  <u>id</u> <u>:</u> Type  '''<6>''' Lhs´´
 )		|   e<br>
-)Lhs´´	->  <u>,</u> Lhs´
+)Lhs´´	->  <u>,</u> <u>id</u> <u>:</u> Type Lhs´´
 )		|   e<br>
 )Type  	->  <u>nat</u> '''<15>'''

← Nächstältere Version		Version vom 15. Dezember 2005, 22:47 Uhr
Zeile 119:		Zeile 119:


−
−	~~== Implementation ==~~
−	~~=== Absy.impl ===~~
−	~~IMPLEMENTATION Absy~~
−
−	~~DATA absy == Prog( defseq:seq[absy])~~
−	~~Def(id:denotation, seq[id:denotation, typ: type], typ:type)~~
−	~~Funcall(id: denotation, parref: seq[absy])~~
−	~~ParRef(id:denotation)~~
−	~~Cond(ifCond:absy, thenCond:absy)~~
−	~~CondElse(ifElse:absy, thenElse:absy, elseElse: absy)~~
−	~~NatConst(number:nat)~~
−	~~BoolConst(boolean:bool)~~
−
−	~~DATA type == TNat(n:nat)~~
−	~~TBool(b:bool)~~
−
−
−	~~-- Ausgabefunktion vom Absy~~
−	~~-- DEF `(Absy) ==~~
−	~~DEF `(Prog(defseq)) == "Prog(" ++ (printSeqAbsy(defseq)) ++ ")"~~
−	~~DEF `(Def(id,seqIdTyp,typ)) == "Def " ++ id ++ "(" ++ (printSeqType(seqIdTyp)) ++ ") :" ++ (printType(typ))~~
−	~~DEF `(Funcall(id,parref)) == "Funcall:" ++ id ++ "(" ++ (printSeqAbsy(parref)) ++ ")"~~
−	~~DEF `(ParRef(id)) == "ParRef:" ++ id~~
−	~~DEF `(Cond(ifCond,thenCond)) == "Cond(" ++ "IF " ++ (`(ifCond)) ++ " THEN " ++ (`(thenCond)) ++ ")"~~
−	~~DEF `(CondElse(ifCondE,thenCondE, elseCondE)) == "Cond(" ++ "IF " ++ (`(ifCondE)) ++ " THEN " ++ (`(thenCondE)) ++ " ELSE " ++ (`(elseCondE)) ++ ")"~~
−	~~DEF `(NatConst(natC)) == `(natC)~~
−	~~DEF `(BoolConst(boolC)) == `(boolC)~~
−
−	~~DEF printSeqAbsy(<>) == "<>"~~
−	~~DEF printSeqAbsy(a::R) == `(a) ++ ";" ++ printSeqAbsy(R)~~
−
−	~~DEF printType(TNat) == "nat"~~
−	~~DEF printType(TBool) == "bool"~~
−
−	~~DEF printSeqType(<>) == "<>"~~
−	~~DEF printSeqType((id,typ)::R) == id ++ ":" ++ printType(typ) ++ ", " ++ printSeqType(R)~~
−
−	~~=== Absy.sign ===~~
−	~~/* %~~
−	~~Die abstrakte Syntax. NOT YET IMPLEMENTED.~~
−	*/
−
−	~~SIGNATURE Absy~~
−
−	~~SORT absy~~
−
−	~~-- Augabefunktion~~
−	~~FUN ` : absy -> denotation~~
−
−	~~-- Ausgabefunktionen für Typen inerhalb von Absy~~
−	~~FUN printSeqAbsy : seq[absy] -> denotation~~
−	~~FUN printType : type -> denotation~~
−	~~FUN printSeqType : seq[denotation, type] -> denotation~~


	[[Kategorie:GREY-PSS]]		[[Kategorie:GREY-PSS]]

@@ Zeile 25: / Zeile 25: @@
 )Lhs´´	->  <u>,</u> Lhs´
 )		|   e<br>
-)Type  	->  <u>nat</u>
+)Type  	->  <u>nat</u> '''<15>'''
-)       	|   <u>bool</u><br>
+)       	|   <u>bool</u> '''<15>''' <br>
 )Expr    	->  <u>number</u> '''<7>'''
 )       	|   <u>true</u> '''<8>'''
@@ Zeile 37: / Zeile 37: @@
 )            |   e<br>
 )Expr´´´ 	->  <u>,</u> Expr '''<11>''' Expr´´´
-)		|   e<br>
+)            |   e<br>
 )fi´     	->  <u>ELSE</u> Expr FI '''<14>'''
         		|   FI '''<13>''' <br>
-<u>Semantische Aktionen:</u>
+<u>Semantische Aktionen:</u><br>
 '''<1>''' : makeDefList<br>
 '''<2>''' : makeDef<br>
@@ Zeile 56: / Zeile 56: @@
 '''<13>''' : makeCond<br>
 '''<14>''' : makeElse<br>
 == Directormengen ==

@@ Zeile 15: / Zeile 15: @@
 Erste Umformung inklusive semantischer Aktionen:
-)Prog  	->  Def Def' #  		<1><br>
+)Prog  	->  Def '''<1>''' Def´ #<br>
-)Def  	->  <u>DEF</u> Lhs <u>==</u> Expr		<2><br>
+)Def  	->  <u>DEF</u> Lhs <u>==</u> Expr '''<2>'''<br>
-)Def'  	->  Def Def'
+)Def'  	->  Def '''<3>''' Def´
 ) 	       	|   e<br>
-)Lhs   	->  <u>MAIN</u> <u>:</u> Type			<3>
+)Lhs   	->  <u>MAIN</u> '''<5>''' <u>:</u> Type '''<4>'''
-)		|   <u>id</u> <u>(</u> Lhs' <u>)</u> <u>:</u> Type		<4><br>
+)		|   <u>id</u> <u>(</u> '''<5>''' Lhs´ <u>)</u> <u>:</u> Type '''<4>'''<br>
-)Lhs'  	->  <u>id</u> <u>:</u> Type Lhs´´		<5>
+)Lhs´  	->  <u>id</u> <u>:</u> Type  '''<6>''' Lhs´´
 )		|   e<br>
-)Lhs´´	->  <u>,</u> Lhs'
+)Lhs´´	->  <u>,</u> Lhs´
 )		|   e<br>
 )Type  	->  <u>nat</u>
 )       	|   <u>bool</u><br>
-)Expr    	->  <u>number</u>
+)Expr    	->  <u>number</u> '''<7>'''
-)       	|   <u>true</u>
+)       	|   <u>true</u> '''<8>'''
-)       	|   <u>false</u>
+)       	|   <u>false</u> '''<8>'''
-)     	|   <u>id</u> Expr'			<6>
+)     	|   <u>id</u> Expr´
-)		|   <u>IF</u> Expr <u>THEN</u> Expr fi' <u>FI</u>	<7><br>
+)		|   <u>IF</u> Expr <u>THEN</u> Expr fi´ <br>
-)Expr' 	->  <u>(</u> Expr´´ <u>)</u>
+)Expr´ 	->  <u>(</u> '''<10>''' Expr´´ <u>)</u> '''<9>'''
-)		|   e<br>
+)		|   e '''<12>'''<br>
-)Expr´´	->  Expr Expr´´´		<8>
+)Expr´´	->  Expr '''<11>''' Expr´´´
 )            |   e<br>
-)Expr´´´ 	->  <u>,</u> Expr Expr´´´
+)Expr´´´ 	->  <u>,</u> Expr '''<11>''' Expr´´´
 )		|   e<br>
-)fi'     	->  <u>ELSE</u> Expr
+)fi´     	->  <u>ELSE</u> Expr FI '''<14>'''
-        		|   e<br>
+        		|   FI '''<13>''' <br>
 == Directormengen ==

@@ Zeile 1: / Zeile 1: @@
 = Milstone 1 =
 * EBNF in BNF Grammatik umwandeln:
 == EBNF ==
 Gegeben ist folgende EBNF Syntax von microOPAL:
@@ Zeile 41: / Zeile 40: @@
 )fi'     	->  <u>ELSE</u> Expr
         		|   e<br>
 == 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
@@ Zeile 97: / Zeile 97: @@
 |ja
 |}
 == Abstrakter Syntaxbaum ==
 http://www.freitagsrunde.org/~grey/pss/absy.jpg
 == Implementation ==