Dies ist eine statische Kopie unseres alten Forums. Es sind keine Interaktionen möglich.
This is a static copy of our old forum. Interactions are not possible.

NullAhnung

Erfahrener Schreiberling

  • "NullAhnung" is female
  • "NullAhnung" started this thread

Posts: 332

Date of registration: Apr 28th 2003

1

Sunday, June 27th 2004, 10:36am

Prog u Üb Übung 7

Ich denke mal man muss bei 2) diese Tabelle aufstellen wie im Skript. Aber wie komm ich darauf?
  • Send private message

cowhen

Muuuh!

  • "cowhen" is male

Posts: 1,374

Date of registration: Dec 13th 2001

2

Sunday, June 27th 2004, 12:05pm

Ich vermute mal, dass es um eine Parsing-Tabelle geht? (Wäre hilfreich, wenn Du die Aufgabenstellung mit dazu posten würdest.)

Also für eine Parsing-Tabelle stellst Du dir zunächst die First- und Follow-Mengen auf und dann noch zwei Hilfstabellen, die für jedes Nonterminal angeben, welche Terminals in den jeweiligen First-, bzw. Follow-Mengen sind. Ok, doof erklärt: Für Grammatik G_2 aus Bsp 2.10 im Skript wäre das:

Source code

 
1
2
3
4
5
6
7
8
9
10

    First
_________
S    a, (
R    *, +


    Follow
_________
S    $, )
R    $, )


Dann einfach strikt nach Skript S. 50 oben vorgehen und dabei aus den beiden Hilfstabellen ablesen.
Die Lösung zu dem Bsp steht ja dann im Skript, nur nicht so viele Zwischenschritte.

hth
plenty of time to relax when you are dead
  • Send private message

NullAhnung

Erfahrener Schreiberling

  • "NullAhnung" is female
  • "NullAhnung" started this thread

Posts: 332

Date of registration: Apr 28th 2003

3

Sunday, June 27th 2004, 1:38pm

Nein es geht um Typ Inferenz:
Also hier die Aufgabenstellung:

Man betrachte die folgenden in ML geschriebenen Funktionen und versuche durch Typ Inferenz auf den Typ Ausdruck zu schließen. Wenn das nicht möglich ist gebe man diese Feststellung an ; im anderen Fall gebe man den Typ Ausdruck an.

Dann sind Typ Ausdrücke angegeben. Und ich meine die Tabelle im Skript S.79 unten
  • Send private message

Ray-D

Alter Hase

  • "Ray-D" is male

Posts: 690

Date of registration: Oct 9th 2002

Location: Zimbabwe-Island Ost Beiträge: 3.427

Occupation: Informatiker

4

Sunday, June 27th 2004, 11:03pm

aufgabe 2) muss erst am 06.07. abgegeben werden.

Edit:
Quelle
"ob ich alles weiss, was wir wissen, weiss ich auch nicht, aber ich weiss natürlich niemand von uns weiss etwas was er nicht weiss" - Wolgang Schäuble
Freiheit wird nicht erbettelt, sondern erkämpft

Dieser Beitrag wurde bereits 7 mal editiert, zuletzt von »Ray-D« (Heute, 04:29)

This post has been edited 1 times, last edit by "Ray-D" (Jun 28th 2004, 9:23am)

  • Send private message

NullAhnung

Erfahrener Schreiberling

  • "NullAhnung" is female
  • "NullAhnung" started this thread

Posts: 332

Date of registration: Apr 28th 2003

5

Sunday, June 27th 2004, 11:32pm

Aufm Übungsblatt steht davon nix. Hat das wer in der Vorlesung gesagt?
  • Send private message

Informatik Minister

Senior Schreiberling

  • "Informatik Minister" is male

Posts: 1,234

Date of registration: Dec 11th 2001

6

Monday, June 28th 2004, 7:29am

Typ-Inferenz = Typ-Schlussfolgerung

Du musst ausgehend von den einzelnen Typ-Ausdrücken, die du am Anfang kennst, auf sämtliche Typ-Ausdrücke der sich ergebenden Ausdrücke schließen.

Geht meist nicht direkt und ähnelt dann einem P.M. Rätsel. Schritt für Schritt "durch" die Funktion gehen und gucken, was du hast, Variablen einführen für Typ-Ausdrücke, die du noch nicht kennst, substituieren und darauf hoffen, dass bei einem nächsten Schritt Information auftaucht, welchem Typ-Ausdruck die Variable entsprechen muss.

So als Mensch schon ein bisschen wie ein Logikrätsel, fand ich.
Zeichnung und Tabelle hilft.
Vielleicht auch irgendwas durch google Gefundenes.
"Fliegenpilze! Löwen!! Das Leben ist gefährlich." -- www.katzundgoldt.de

This post has been edited 1 times, last edit by "Informatik Minister" (Jun 28th 2004, 7:30am)

  • Send private message

mDev

Erfahrener Schreiberling

  • "mDev" is male

Posts: 282

Date of registration: Oct 10th 2002

Location: Hannover

Occupation: Wissenschaftlicher Mitarbeiter

7

Monday, June 28th 2004, 11:11am

was mach ich denn mit y? einmal wirds als variable, einmal mal als ein-, einmal als zweistelliges funktionssymbol benutzt. und der typ-ausdruck ist auch nicht angegeben...

und zu 1): für wieviele fälle habt ihr KEINEN allgemeinen unifikator gefunden?
  • Send private message

NullAhnung

Erfahrener Schreiberling

  • "NullAhnung" is female
  • "NullAhnung" started this thread

Posts: 332

Date of registration: Apr 28th 2003

8

Monday, June 28th 2004, 3:48pm

Quoted

Original von NullAhnung
Aufm Übungsblatt steht davon nix. Hat das wer in der Vorlesung gesagt?


Brauchen wir das nun bis morgen oder bis zum 6.7.?
  • Send private message

Ray-D

Alter Hase

  • "Ray-D" is male

Posts: 690

Date of registration: Oct 9th 2002

Location: Zimbabwe-Island Ost Beiträge: 3.427

Occupation: Informatiker

9

Monday, June 28th 2004, 4:09pm

Quoted

Original von Ray-D
aufgabe 2) muss erst am 06.07. abgegeben werden.

Edit:
Quelle
"ob ich alles weiss, was wir wissen, weiss ich auch nicht, aber ich weiss natürlich niemand von uns weiss etwas was er nicht weiss" - Wolgang Schäuble
Freiheit wird nicht erbettelt, sondern erkämpft

Dieser Beitrag wurde bereits 7 mal editiert, zuletzt von »Ray-D« (Heute, 04:29)
  • Send private message

MAX

Senior Schreiberling

  • "MAX" is male

Posts: 822

Date of registration: Dec 11th 2001

Location: Hannover

10

Monday, June 28th 2004, 4:15pm

Quoted


und zu 1): für wieviele fälle habt ihr KEINEN allgemeinen unifikator gefunden?

In 2 Fällen. So habe ich zumindestens gefunden. Hat jemand ein anderes Ergebnis oder kann diese bestätigen?
mfg
MAX
  • Send private message

Arne

ThI

  • "Arne" is male

Posts: 1,798

Date of registration: Oct 7th 2002

Location: Hannover :)

Occupation: Lecturer ThI

11

Monday, June 28th 2004, 4:17pm

bei mir gibts nur einen Fall der nicht unifizierbar ist.
"NP - The class of dashed hopes and idle dreams." Complexity Zoo
  • Send private message

MAX

Senior Schreiberling

  • "MAX" is male

Posts: 822

Date of registration: Dec 11th 2001

Location: Hannover

12

Monday, June 28th 2004, 4:53pm

Bei mir sind die Typ-Ausdrücke (1),(4) und (2),(4) nicht unifizierbar. Und bei dir?
mfg
MAX
  • Send private message

Arne

ThI

  • "Arne" is male

Posts: 1,798

Date of registration: Oct 7th 2002

Location: Hannover :)

Occupation: Lecturer ThI

13

Monday, June 28th 2004, 6:07pm

(1),(4) ist doch unifizierbar
"NP - The class of dashed hopes and idle dreams." Complexity Zoo
  • Send private message

MAX

Senior Schreiberling

  • "MAX" is male

Posts: 822

Date of registration: Dec 11th 2001

Location: Hannover

14

Monday, June 28th 2004, 6:56pm

Doch, tatsächlich, du hast recht. Habe meinen Fehler gefunden.
mfg
MAX
  • Send private message

mDev

Erfahrener Schreiberling

  • "mDev" is male

Posts: 282

Date of registration: Oct 10th 2002

Location: Hannover

Occupation: Wissenschaftlicher Mitarbeiter

15

Thursday, July 1st 2004, 9:26pm

Quoted

Original von mDev
was mach ich denn mit y? einmal wirds als variable, einmal mal als ein-, einmal als zweistelliges funktionssymbol benutzt.


hm, ich weiss immer noch nich was ich mit dem y anfangen soll... ?(
  • Send private message

NullAhnung

Erfahrener Schreiberling

  • "NullAhnung" is female
  • "NullAhnung" started this thread

Posts: 332

Date of registration: Apr 28th 2003

16

Monday, July 5th 2004, 9:55pm

Wir haben ja in der Übung nen Syntaxbaum aufgestellt. Nun weiß ich aber nicht wie ich den benutzen soll. Weiß nur dass ich den in Postorder durchgehen muss. Alles was bei Ergebnis steht ist mir nicht besonders klar. Könnte mir das vielleicht wer erklären?
  • Send private message