FreitagsrundenWiki - Benutzerbeiträge [de]

Benutzer:Grey/pss

2005-12-09T10:54:37Z

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

== 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

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

Benutzer:Grey/pss

2005-12-09T10:51:37Z

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

== 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

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

Mitglieder in den Gremien

2005-12-02T13:26:21Z

192.168.23.150: /* Ständige Gremien */

= Ständige Gremien =

=== Fakultätsrat ===
==== Mitglieder ====
* Felix Schwarz
* Martin Häcker

==== Stellvertreter ====
* Björn Brandenburg
* Thomas Kaschwig
* Marcel Grey
* Ellen Michelsen
* Natascha Tiotuico
* Jenny Wegmann (ET Ini)
* Jan Ole Beyer
* Hannes
* Karl Wessel
* Daniel Stum
* Thorsten Rimkus
* Robert Lubkoll

=== Ausbildungskommission ===
==== Mitglieder ====
* Ellen Michelsen (stellvertr. Vorsitzende)
* Marcel Grey
* Thomas Kaschwig
* Thorsten Rimkus
* Felix Schwarz
* Matthias Völker (ET Ini)

==== Stellvertreter ====
* Timo Glaser
* Karl Wessel
* Martin Häcker
* Robert Lubkoll
* Hannes Lau
* Daniel Sturm
* Judith Rohloff

''Hinweis:'' Derzeit sind praktisch nur Informatiker in der AK aktiv. Wir suchen daher dringend noch interessierte TIler und ETler.

=== Prüfungsausschuss Informatik ===
* Thorsten Rimkus
* Marcel Grey (Stellvertreter)

=== Prüfungsausschuss Technische Informatik ===
Wahl am 6. Juli 2005 im FKR (4. Sitzung)
* Jörn Gräwe
* Karina Grühser (Stellvertreterin)

=== Prüfungsausschuss Elektrotechnik ===
* Andreas Kay

=== Finanzkommission ===
* Robert Lubkoll

=== Wahlvorstand ===
(Studentischer Platz derzeit nicht besetzt. Interessenten gesucht!)

=== Raumkommission ===
* Bernhard Beschow

=== Konzil ===
==== Mitglieder ====
* Marcel

==== stellv. Mitglieder ====
*

=== Computational Neuroscience: Gemeinsame Kommission mit Entscheidungsbefugnis ===
Wahl am 6. Juli 2005 im FKR (4. Sitzung)
* Marcel Stimberg
* Felix Schwarz (Stellvertreter)
''Hinweis:'' Da Marcel demnächst ausscheiden wird, benötigen wir "Nachwuchs"!

= Berufungskommissionen =

=== Betrieb komplexer IT-Systeme (W3) ===
Protokoll des FKR nicht eindeutig: Gibt es einen oder zwei Plätze für Studis?
* Björn Brandenburg
* Ellen Michelsen (Stellvertreterin)
* Daniel Sturm (Stellvertreter)
* Thomas Kaschwig (Stellvertreter)
* Hannes Lau (Stellvertreter)

=== Datenbanken und Informationssysteme (W 3), Maschinelles Lernen (W 3) ===
* Marcel Grey
* Thorsten Rimkus

=== T-Labs ===
Hierbei handelt es sich um die Professuren für "Security in Telecommunications” (W 3), "Usability“ (W3) und "Service Centric Networkung – Traffic Engineering and Network Planning” (W 2 auf 5 Jahre) , die alle von der Deutschen Telekom gestiftet werden.
* Felix Schwarz
* Thomas Kaschwig (Stellvertreter)
* Daniel Sturm (Stellvertreter)
* Marcel Grey (Stellvertreter)
* Martin Häcker (Stellvertreter)

=== Energieversorgungsnetze und erneuerbare Energien (W2) ===
Ein studentischer Platz, derzeit nicht besetzt.