Die Suche ergab 80 Treffer

von tzeenie
3. Jun 2009 08:58
Forum: Archiv
Thema: Fifth assignment now available
Antworten: 10
Zugriffe: 585

Re: Fifth assignment now available

I just noticed that the interpreter in the fifth assignment does not implement static scope - am I correct? This should not evaluate to NumV 9 with static scope, but it does: interp (With "x" (Num 5) (App (Fun "z" (Add (Id "x") (Num 4))) (Id "x"))) [] So I assume it's ok if the modified interpreter ...
von tzeenie
27. Apr 2009 09:30
Forum: Archiv
Thema: Question concerning 2nd ex, Task 4
Antworten: 4
Zugriffe: 274

Re: Question concerning 2nd ex, Task 4

At any rate, here's a hint: you are too used to having a parser/compiler perform error checking for you. But our interpreter approach catches certain errors only at runtime. (Feel free to make the parse procedure smarter and perform error checking, if you want to get more insight into this particul...
von tzeenie
27. Apr 2009 09:24
Forum: Archiv
Thema: Question concerning 2nd ex, Task 4
Antworten: 4
Zugriffe: 274

Re: Question concerning 2nd ex, Task 4

Ah, right, I implemented deferred substitution but with eager calculation, the terminology is just starting to settle in. Ok, but I'm still confused about the test case. :oops: Don't get me wrong, I don't want anybody to post a ready-made solution, but I'd be glad if someone could point me into the ...
von tzeenie
26. Apr 2009 20:36
Forum: Archiv
Thema: Question concerning 2nd ex, Task 4
Antworten: 4
Zugriffe: 274

Question concerning 2nd ex, Task 4

Modify the procedure "lazy-calc" (currently an exact copy of "eager-calc") such that it substitutes lazily. Then write a test case that succeeds when using lazy substitution, but fails with eager substitution. Mmh, I don't get it, is this a trick question? If the eager-calc method is our reference ...
von tzeenie
21. Apr 2009 13:33
Forum: Archiv
Thema: Rückverlegung der Dienstagsvorlesung
Antworten: 18
Zugriffe: 1232

Re: Rückverlegung der Dienstagsvorlesung

Es wäre echt nett, wenn jemand die heute behandelten Themen zum Nacharbeiten ganz grob stichpunktartig posten könnte!
von tzeenie
21. Apr 2009 09:37
Forum: Archiv
Thema: Rückverlegung der Dienstagsvorlesung
Antworten: 18
Zugriffe: 1232

Re: Rückverlegung der Dienstagsvorlesung

Falls die Vorlesung vormittags stattfindet wär's super wenn das jemand kurz postet, dann braucht keiner mehr nachmittags für nen leeren Hörsaal anzureisen. :)
von tzeenie
6. Apr 2009 19:33
Forum: Archiv
Thema: Widerspruch in Übung 8, Aufgabe 6?
Antworten: 8
Zugriffe: 973

Re: Widerspruch in Übung 8, Aufgabe 6?

Korrektur: Du hattest Recht, das Wortproblem kontextsensitiver Grammatiken ist doch entscheidbar, sorry! Also völlig richtig, Typ1-3 entscheidbar, Typ0 iA nicht. :wink:
von tzeenie
6. Apr 2009 19:20
Forum: Archiv
Thema: Widerspruch in Übung 8, Aufgabe 6?
Antworten: 8
Zugriffe: 973

Re: Widerspruch in Übung 8, Aufgabe 6?

Typ-2 ist entscheidbar - kontextfreie Grammatiken werden bspw. verwendet um Parser für Programmiersprachen zu schreiben: Die Sprache der korrekt geschachtelten Klammerausdrücke ist bereits kontextfrei (kam auch im Skript vor, glaub ich), und es wär ja schlecht wenn das nur semientscheidbar wäre, dan...
von tzeenie
6. Apr 2009 19:11
Forum: Archiv
Thema: Widerspruch in Übung 8, Aufgabe 6?
Antworten: 8
Zugriffe: 973

Re: Widerspruch in Übung 8, Aufgabe 6?

Entscheidbar ist aber AFAIK jede Sprache, die von irgendeinem Automaten erkannt wird und damit doch eigentlich jede von uns behandelte Sprache (entscheidbar = kann algorithmisch ermittelt werden ob ein Wort Teil der Sprache ist oder nicht). Nicht ganz - entscheidbar heißen alle Sprachen, die von ei...
von tzeenie
6. Apr 2009 12:18
Forum: Archiv
Thema: Minimierung schriftlich
Antworten: 3
Zugriffe: 560

Re: Minimierung schriftlich

Hi! Ähnliche Frage, gleiches Thema: Kann jmd bestätigen, dass wir verpflichtet sind für den Nachweis der Minimalität die ganzen redundanten \nsim_1, \nsim_2, ... -Tabellen überhaupt aufzustellen? Die Minimierung mit der Dreieckstabelle wie im Ullman-Buch beschrieben geht um ein Vielfaches schneller ...
von tzeenie
31. Mär 2009 15:47
Forum: TGdI 1
Thema: Fkt. mit Muxen implementieren
Antworten: 8
Zugriffe: 1727

Re: Fkt. mit Muxen implementieren

Mit LaTeX + dem fantastischen Package PGF/TikZ: http://sourceforge.net/projects/pgf/. :)
von tzeenie
31. Mär 2009 15:31
Forum: TGdI 1
Thema: Fkt. mit Muxen implementieren
Antworten: 8
Zugriffe: 1727

Re: Fkt. mit Muxen implementieren

Stimmt, danke! Interessanterweise kann man einen Mux einsparen, wenn man die control inputs anders wählt: F(A,B,C,D) = 'C'D + A'B + CD + AC f(C=0,D=0) = 1 f(C=0,D=1) = A'B = g f(C=1,D=0) = A'B + A = A f(C=1,D=1) = 1 g(A=0,B=0) = 0 g(A=0,B=1) = 0 g(A=1,B=0) = 1 g(A=1,B=1) = 0 Sofern ich mich also (ni...
von tzeenie
31. Mär 2009 15:00
Forum: TGdI 1
Thema: Fkt. mit Muxen implementieren
Antworten: 8
Zugriffe: 1727

Re: Fkt. mit Muxen implementieren

Wieso sollte das nicht mit Multiplexer machbar sein? Prinzipell ist es das gleiche wie mit 2:1 Multiplexern, nur das man hier eben 2 Variablen hat, bei denen man alle Fälle durchgehen muss. Ja, denke ich eig auch. Ich rechne es grad mal nach. Super, danke, laut meiner WT ist da nämlich ein Fehler d...
von tzeenie
31. Mär 2009 14:21
Forum: TGdI 1
Thema: Fkt. mit Muxen implementieren
Antworten: 8
Zugriffe: 1727

Fkt. mit Muxen implementieren

Hi *, wiederhol grad noch mal ein paar Sachen, bei denen ich in der letzten Klausur nicht gerade geglänzt hab. :lol: Jetzt hab ich mir selbst ne tolle Aufgabe gestellt und bin mir ned sicher ob die Lösung passt. :oops: Angenommen wir sollen eine Funktion $F(A,B,C,D) = \overline{A}$\hspace{0.5ex}$\ov...
von tzeenie
26. Mär 2009 19:22
Forum: Archiv
Thema: Übung 7.2
Antworten: 25
Zugriffe: 774

Re: Übung 7.2

ist ja auch bei 6.2 keinem aufgefallen, wo es ähnlich mit nat ist (not ?0(u) statt ?succ(u)). können wir dort dann auch die beiden als äquivalent annehmen? Stimmt! Mir selbst ist es auch bei beiden Aufgaben nicht wirklich aufgefallen, weil in 6.2 R_{plus} als Relationenbeschreibung verwendet wurde....

Zur erweiterten Suche