FreitagsrundenWiki - Benutzerbeiträge [de]

Programmiersprachen und -systeme

2006-02-13T20:13:43Z

84.191.239.142:

<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">

WS 2005/2006
* [[PSS_Gedächtnisprotokoll_Klausur_WS0506|Gedächtnisprotokoll]]

WS 2004/2005
* [http://docs.freitagsrunde.org/Klausuren/PSS/pss_klausurws0405.txt Klausur]
</div>

'''Programmiersprachen und -systeme''' (PSS) ist eine Basisveranstaltung im Informatik-Hauptstudium.

== Inhalt ==
Compilerbau

[[µOpal]]

== Weblinks ==
[http://uebb.cs.tu-berlin.de/lehre/2005WVpss/ WiSe '05/'06]

== Tipps und persönliche Kommentare ==
: (Nicht unterschriebene Kommentare werden gelöscht!)

Eine der besten Vorlesungen meines Studiums! Pepper hat ein sehr gutes Skript und hält auch meist kurzweilige Vorlesungen. Die Tutorien waren allerdings öfter langweilig. Trotzdem definitiv empfehlenswert! --[[Benutzer:Felix|Felix]] 09:23, 8. Feb 2006 (CET)

[[Kategorie:Lehrveranstaltungen]]
[[Kategorie:Fakultäts-ABC]]

__NOTOC__

ΜOpal

2006-02-13T20:12:50Z

84.191.239.142:

Eine simple Programmiersprache zu der in der Lehrveranstaltung [[PSS]] ein Compiler geschrieben wird.

Beispielprogramm:
<pre>
DEF fac(X:nat):nat ==
IF eq(X,0)
THEN 1
ELSE mul(X, fac(sub(X, 1)))
FI
DEF MAIN:nat ==
fac(8)
</pre>

[[EBNF]]:
<pre>
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"
</pre>

PSS Gedächtnisprotokoll Klausur WS 0506

2006-02-13T19:00:16Z

84.191.239.142:

Hier fehlen noch ein paar Informationen, mein Gedächtnis ist da etwas lückenhaft!
Außerdem scheint mir einiges falsch..? naja vorallem die 2. Grammatik ist nicht identisch
----
<pre>
1. forme die grammatik in ll1 um und zeige das sie ll1 ist.
zeige das die ausgangsgrammatik nicht ll1 ist

S -> E#
E -> ide
| ide ( A )
A -> P
|
P -> P , E
| E

2. schreibe einen recursive decent-/combinator-parser ohne fehlerbehandlung für die grammatik:
S -> T#
T -> < T T' >
T' -> ide
|
in der sprache war: <<1 2 4> <1 4 5> 3>
das ganze repräsentierte einen n-ären baum
DATA absy ==
node(val:seq[absy])
leaf(val:token)
DATA token ==
Open
Close
space
id(val:???)

3. SECD
(\x. x(2))(\y. dup(y))
ergebnis 4
dup ist triviale operation

4. codeerzeugung
int f(x:int, y:int){
if(x==0)
return y
else
return f(x-1, x*y)
}
erzeuge pseudocode für eine stackartige maschine
erläutere den stackframe (überlappung und sowas)

5. unifikation
length: string -> nat
even?: nat -> bool
h: string -> ???
h(s) == ???
eval
eval s
eval length
??? even?
ergebnis war korrekt, aber das sah vllt. auch etwas anders aus..
</pre>

PSS Gedächtnisprotokoll Klausur WS 0506

2006-02-13T18:57:47Z

84.191.239.142:

Hier fehlen noch ein paar Informationen, mein Gedächtnis ist da etwas lückenhaft!

----
<pre>
1. forme die grammatik in ll1 um und zeige das sie ll1 ist.
zeige das die ausgangsgrammatik nicht ll1 ist

S -> E#
E -> ide
| ide ( A )
A -> P
|
P -> P , E
| E

2. schreibe einen recursive decent-/combinator-parser ohne fehlerbehandlung für die grammatik:
S -> T#
T -> < T T' >
T' -> ide
|
in der sprache war: <<1 2 4> <1 4 5> 3>
das ganze repräsentierte einen n-ären baum
DATA absy ==
node(val:seq[absy])
lead(val:token)
DATA token ==
Open
Close
space
id(val:???)

3. SECD
(\x. x(2))(\y. dup(y))
ergebnis 4
dup ist triviale operation

4. codeerzeugung
int f(x:int, y:int){
if(x==0)
return y
else
return f(x-1, x*y)
}
erzeuge pseudocode für eine stackartige maschine
erläutere den stackframe (überlappung und sowas)

5. unifikation
length: string -> nat
even?: nat -> bool
h: string -> ???
h(s) == ???
eval
eval s
eval length
??? even?
ergebnis war korrekt, aber das sah vllt. auch etwas anders aus..
</pre>

PSS Gedächtnisprotokoll Klausur WS 0506

2006-02-13T18:55:56Z

84.191.239.142:

Hier fehlen noch ein paar Informationen, mein Gedächtnis ist da etwas lückenhaft!

----

1. forme die grammatik in ll1 um und zeige das sie ll1 ist.
zeige das die ausgangsgrammatik nicht ll1 ist

S -> E#
E -> ide
| ide ( A )
A -> P
|
P -> P , E
| E

2. schreibe einen recursive decent-/combinator-parser ohne fehlerbehandlung für die grammatik:
S -> T#
T -> < T T' >
T' -> ide
|
in der sprache war: <<1 2 4> <1 4 5> 3>
das ganze repräsentierte einen n-ären baum
DATA absy ==
node(val:seq[absy])
lead(val:token)
DATA token ==
Open
Close
space
id(val:???)

3. SECD
(\x. x(2))(\y. dup(y))
ergebnis 4
dup ist triviale operation

4. codeerzeugung
int f(x:int, y:int){
if(x==0)
return y
else
return f(x-1, x*y)
}
erzeuge pseudocode für eine stackartige maschine
erläutere den stackframe (überlappung und sowas)

5. unifikation
length: string -> nat
even?: nat -> bool
h: string -> ???
h(s) == ???
eval
eval s
eval length
??? even?
ergebnis war korrekt, aber das sah vllt. auch etwas anders aus..

PSS

2006-02-13T18:55:15Z

84.191.239.142:

Programmiersprachen und Systeme

[http://uebb.cs.tu-berlin.de/lehre/2005WVpss/ Link für das WS0506]

[[PSS Gedächtnisprotokoll Klausur WS0506]]

PSS

2006-02-13T18:55:03Z

84.191.239.142:

Programmiersprachen und Systeme

[http://uebb.cs.tu-berlin.de/lehre/2005WVpss/ Link für das WS0506]

[[Gedächtnisprotokoll Klausur WS0506]]

Opal

2006-02-13T18:53:07Z

84.191.239.142:

Opal ist eine [[WikiPedia:Funktionale Programmiersprache|funktionale Programmiersprache]], die Euch in [[Informatik 1]] begegnen wird. Grund dafür ist nicht unbedingt, dass die Sprache besonders toll wäre, sondern dass sie an der TU entwickelt wurde (Prof. [[Pepper]]). Viel Spaß! ;-)

== Opal FAQ ==
In der [[Opal FAQ]] findet Ihr ein paar Hilfen, die ich zu Opal zusammengetragen habe, als ich selbst damit programmieren musste. Habt Spaß damit!

== Opalix ==
Wir haben für Euch auch eine [[Knoppix]]-CD erstellt, auf der das lauffähige Opal gleich dabei ist. Ihr müsst also nichts installieren, einfach die CD reinschieben und fertig. Wo ihr die CD bekommt, werden wir aber noch am Ende der Info1-Vorlesung ankündigen. Zu [[Opalix]] gibt es auch ein [[Opalix|eigene Seite]].

== Opal für zu Hause ==
Es gibt fertige Opal-Pakete für verschiedene Linux-Distributionen. Eine Liste gibt es [[Opal für Linux| hier]].

== Lehrveranstaltungen mit Opal ==
*[[Info1]]
*[[PSS]]

== Weblinks ==
Mehr Informationen zu Opal und [[OCS]] findet Ihr hier:
* http://uebb.cs.tu-berlin.de/~opal/

* Unsere [[Opalix]]-Seite.

[[Kategorie:Opal]]
[[Kategorie: Fachbegriffe der Informatik]]
[[Kategorie: Fakultäts-ABC]]

Genesis Opalis (Das 1. Buch Pepper):
* http://wwwwbs.cs.tu-berlin.de/user/riess/ns20/1pepper.html

Die 10 Opalismen:
* http://wwwwbs.cs.tu-berlin.de/user/riess/ns20/die_10_Opalismen.html