Benutzer:Grey/pss - Versionsgeschichte

84.59.3.211: /* Directormengen */

2006-01-11T20:38:17Z

Directormengen

← Nächstältere Version		Version vom 11. Januar 2006, 20:38 Uhr
Zeile 72:		Zeile 72:
	\|ja		\|ja
	\|-		\|-
	\|3) <br>3b)		\|3) <br>4)
	\|{<u>DEF</u>} <br>{#, <u>DEF</u>}		\|{<u>DEF</u>} <br>{#, <u>DEF</u>}
	\|ja		\|ja
	\|-		\|-
	\|4) <br>5)		\|5) <br>6)
	\|{<u>MAIN</u>} <br>{<u>id</u>}		\|{<u>MAIN</u>} <br>{<u>id</u>}
	\|ja		\|ja
	\|-		\|-
	\|6) <br>7)		\|7) <br>8)
	\|{<u>id</u>} <br>{<u>)</u>}		\|{<u>id</u>} <br>{<u>)</u>}
	\|ja		\|ja
	\|-		\|-
	\|8) <br> 9)		\|9) <br> 10)
	\|{<u>,</u>} <br>{<u>)</u>}		\|{<u>,</u>} <br>{<u>)</u>}
	\|ja		\|ja
	\|-		\|-
	\|10) <br> 11)		\|11) <br> 12)
	\|{<u>nat</u>} <br>{<u>bool</u>}		\|{<u>nat</u>} <br>{<u>bool</u>}
	\|ja		\|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>}		\|{<u>number</u>} <br>{<u>true</u>} <br>{<u>false</u>} <br>{<u>id</u>} <br>{<u>IF</u>}
	\|ja		\|ja
	\|-		\|-
	\|17) <br>18)		\|18) <br>19)
	\|{<u>(</u>} <br>{<u>THEN</u>, <u>ELSE</u>, <u>FI</u>, <u>,</u>, <u>)</u>}		\|{<u>(</u>} <br>{<u>THEN</u>, <u>ELSE</u>, <u>FI</u>, <u>,</u>, <u>)</u>}
	\|ja		\|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>}		\|{<u>number</u>, <u>true</u>, <u>false</u>, <u>id</u>, <u>IF</u>} <br>{<u>,</u>, <u>)</u>}
	\|ja		\|ja
	\|-		\|-
	\|21) <br>22)		\|22) <br>23)
	\|{<u>,</u>} <br> {<u>)</u>}		\|{<u>,</u>} <br> {<u>)</u>}
	\|ja		\|ja
	\|-		\|-
	\|23) <br>24)		\|24) <br>25)
	\|{<u>ELSE</u>} <br>{<u>FI</u>}		\|{<u>ELSE</u>} <br>{<u>FI</u>}
	\|ja		\|ja
	\|}		\|}



	== Abstrakter Syntaxbaum ==		== Abstrakter Syntaxbaum ==

84.59.3.211: /* BNF */

2006-01-11T20:34:12Z

BNF

← Nächstältere Version		Version vom 11. Januar 2006, 20:34 Uhr
Zeile 23:		Zeile 23:
	7)Lhs´ -> <u>id</u> <u>:</u> Type '''<6>''' Lhs´´		7)Lhs´ -> <u>id</u> <u>:</u> Type '''<6>''' Lhs´´
	8) \| e<br>		8) \| e<br>
	9)Lhs´´ -> <u>,</u> ~~Lhs´~~		9)Lhs´´ -> <u>,</u> <u>id</u> <u>:</u> Type Lhs´´
	10) \| e<br>		10) \| e<br>
	11)Type -> <u>nat</u> '''<15>'''		11)Type -> <u>nat</u> '''<15>'''

Grey: /* Implementation */

2005-12-15T22:47:03Z

Implementation

← 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]]

Grey: /* BNF */

2005-12-09T11:52:09Z

BNF

← Nächstältere Version		Version vom 9. Dezember 2005, 11:52 Uhr
Zeile 25:		Zeile 25:
	9)Lhs´´ -> <u>,</u> Lhs´		9)Lhs´´ -> <u>,</u> Lhs´
	10) \| e<br>		10) \| e<br>
	11)Type -> <u>nat</u>		11)Type -> <u>nat</u> '''<15>'''
	12) \| <u>bool</u><br>		12) \| <u>bool</u> '''<15>''' <br>
	13)Expr -> <u>number</u> '''<7>'''		13)Expr -> <u>number</u> '''<7>'''
	14) \| <u>true</u> '''<8>'''		14) \| <u>true</u> '''<8>'''
Zeile 37:		Zeile 37:
	21) \| e<br>		21) \| e<br>
	22)Expr´´´ -> <u>,</u> Expr '''<11>''' Expr´´´		22)Expr´´´ -> <u>,</u> Expr '''<11>''' Expr´´´
	23) \| e<br>		23) \| e<br>
	24)fi´ -> <u>ELSE</u> Expr FI '''<14>'''		24)fi´ -> <u>ELSE</u> Expr FI '''<14>'''
	\| FI '''<13>''' <br>		\| FI '''<13>''' <br>

	<u>Semantische Aktionen:</u>		<u>Semantische Aktionen:</u><br>
	'''<1>''' : makeDefList<br>		'''<1>''' : makeDefList<br>
	'''<2>''' : makeDef<br>		'''<2>''' : makeDef<br>
Zeile 56:		Zeile 56:
	'''<13>''' : makeCond<br>		'''<13>''' : makeCond<br>
	'''<14>''' : makeElse<br>		'''<14>''' : makeElse<br>
			'''<15>''' : makeType<br>

	== Directormengen ==		== Directormengen ==

Grey: /* BNF */

2005-12-09T11:49:33Z

BNF

← Nächstältere Version		Version vom 9. Dezember 2005, 11:49 Uhr
Zeile 15:		Zeile 15:
	Erste Umformung inklusive semantischer Aktionen:		Erste Umformung inklusive semantischer Aktionen:

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

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

	== Directormengen ==		== Directormengen ==

Grey: /* BNF */

2005-12-09T11:03:02Z

BNF

← Nächstältere Version		Version vom 9. Dezember 2005, 11:03 Uhr
Zeile 18:		Zeile 18:
	2)Def -> <u>DEF</u> Lhs <u>==</u> Expr <2><br>		2)Def -> <u>DEF</u> Lhs <u>==</u> Expr <2><br>
	3)Def' -> Def Def'		3)Def' -> Def Def'
	3b) \| e<br>		4) \| e<br>
	4)Lhs -> <u>MAIN</u> <u>:</u> Type <3>		5)Lhs -> <u>MAIN</u> <u>:</u> Type <3>
	5) \| <u>id</u> <u>(</u> Lhs' <u>)</u> <u>:</u> Type <4><br>		6) \| <u>id</u> <u>(</u> Lhs' <u>)</u> <u>:</u> Type <4><br>
	6)Lhs' -> <u>id</u> <u>:</u> Type Lhs´´ <5>		7)Lhs' -> <u>id</u> <u>:</u> Type Lhs´´ <5>
	7) \| e<br>		8) \| e<br>
	8)Lhs´´ -> <u>,</u> Lhs'		9)Lhs´´ -> <u>,</u> Lhs'
	9) \| e<br>		10) \| e<br>
	10)Type -> <u>nat</u>		11)Type -> <u>nat</u>
	11) \| <u>bool</u><br>		12) \| <u>bool</u><br>
	12)Expr -> <u>number</u>		13)Expr -> <u>number</u>
	13) \| <u>true</u>		14) \| <u>true</u>
	14) \| <u>false</u>		15) \| <u>false</u>
	15) \| <u>id</u> Expr' <6>		16) \| <u>id</u> Expr' <6>
	16) \| <u>IF</u> Expr <u>THEN</u> Expr fi' <u>FI</u> <7><br>		17) \| <u>IF</u> Expr <u>THEN</u> Expr fi' <u>FI</u> <7><br>
	17)Expr' -> <u>(</u> Expr´´ <u>)</u>		18)Expr' -> <u>(</u> Expr´´ <u>)</u>
	18) \| e<br>		19) \| e<br>
	19)Expr´´ -> Expr Expr´´´ <8>		20)Expr´´ -> Expr Expr´´´ <8>
	20)Expr´´´ -> <u>,</u> ~~Expr´´~~		21) \| e<br>
	21) \| e<br>		22)Expr´´´ -> <u>,</u> Expr Expr´´´
	22)fi' -> <u>ELSE</u> Expr		23) \| e<br>
			24)fi' -> <u>ELSE</u> Expr
	\| e<br>		\| e<br>

192.168.23.150: /* BNF */

2005-12-09T10:54:37Z

BNF

← Nächstältere Version		Version vom 9. Dezember 2005, 10:54 Uhr
Zeile 35:		Zeile 35:
	18) \| e<br>		18) \| e<br>
	19)Expr´´ -> Expr Expr´´´ <8>		19)Expr´´ -> Expr Expr´´´ <8>
	20~~) \| e<br>~~		20)Expr´´´ -> <u>,</u> Expr´´
	21)Expr´´´ -> <u>,</u> Expr´´		21) \| e<br>
	22) \| e<br>		22)fi' -> <u>ELSE</u> Expr
	23)fi' -> <u>ELSE</u> Expr
	\| e<br>		\| e<br>

192.168.23.150: /* BNF */

2005-12-09T10:51:37Z

BNF

← Nächstältere Version		Version vom 9. Dezember 2005, 10:51 Uhr
Zeile 36:		Zeile 36:
	19)Expr´´ -> Expr Expr´´´ <8>		19)Expr´´ -> Expr Expr´´´ <8>
	20) \| e<br>		20) \| e<br>
	21)Expr´´´ -> <u>,</u> ~~Expr~~		21)Expr´´´ -> <u>,</u> Expr´´
	22) \| e<br>		22) \| e<br>
	23)fi' -> <u>ELSE</u> Expr		23)fi' -> <u>ELSE</u> Expr
	\| e<br>		\| e<br>



	== Directormengen ==		== Directormengen ==

84.59.133.13: /* Milstone 1 */

2005-12-02T16:22:43Z

Milstone 1

← Nächstältere Version		Version vom 2. Dezember 2005, 16:22 Uhr
Zeile 1:		Zeile 1:
	= Milstone 1 =		= Milstone 1 =
	* EBNF in BNF Grammatik umwandeln:		* EBNF in BNF Grammatik umwandeln:

	== EBNF ==		== EBNF ==
	Gegeben ist folgende EBNF Syntax von microOPAL:		Gegeben ist folgende EBNF Syntax von microOPAL:
Zeile 41:		Zeile 40:
	23)fi' -> <u>ELSE</u> Expr		23)fi' -> <u>ELSE</u> Expr
	\| e<br>		\| e<br>



	== Directormengen ==		== 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;"		{\| 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}} \|Produktion
Zeile 97:		Zeile 97:
	\|ja		\|ja
	\|}		\|}



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



	== Implementation ==		== Implementation ==

84.59.133.13: /* Abstrakter Syntaxbaum */

2005-12-02T16:21:19Z

Abstrakter Syntaxbaum

← Nächstältere Version		Version vom 2. Dezember 2005, 16:21 Uhr
Zeile 100:		Zeile 100:

	== Abstrakter Syntaxbaum ==		== Abstrakter Syntaxbaum ==
	~~<img src="~~http://www.freitagsrunde.org/~grey/pss/absy.jpg~~"><br>~~		http://www.freitagsrunde.org/~grey/pss/absy.jpg

	== Implementation ==		== Implementation ==