Die Suche ergab 56 Treffer

von luecketi
21. Mär 2010 17:45
Forum: Archiv
Thema: Axiome Datentypdefinition
Antworten: 3
Zugriffe: 321

Re: Axiome Datentypdefinition

Äh. OK. Hat sich geklärt. Bsp Structure tree, Kap. 7 F. 3
von luecketi
21. Mär 2010 17:34
Forum: Archiv
Thema: Axiome Datentypdefinition
Antworten: 3
Zugriffe: 321

Axiome Datentypdefinition

Soweit kann ich Definition 1 anhand der natürllichen Zahlen nachvollziehen, aber ich habe Probleme mit den Selektoren und den Constructoren bzw. deren Unterscheidung. Eigentlih verwirren mich nur (2)(a) und (5) - Gibts da ne verständliche, Fließtexterklärung für?

Großes DANKE aus dem E-Pool

helt
von luecketi
21. Mär 2010 17:30
Forum: Archiv
Thema: Präsenzübung Ü5.3.a
Antworten: 3
Zugriffe: 280

Re: Präsenzübung Ü5.3.a

Danke!
von luecketi
21. Mär 2010 13:13
Forum: Archiv
Thema: Präsenzübung Ü5.3.a
Antworten: 3
Zugriffe: 280

Präsenzübung Ü5.3.a

Hallo, der Lösungsvorschlag zur 5.3 a ist mir unverständlich oder falsch. Ich gehe mal von ersterem aus. Kann da jemand nachhelfen? Das Induktionsaxiom beinhaltet in der zweiten Zeile eine doppelte Definition von z ?! wie wird das gehandhabt... Ausserdem ist im Gegensatz zur Lösung der Übung 4.4 ein...
von luecketi
8. Dez 2009 14:04
Forum: RBG/Rechner
Thema: Drucken per Laptop
Antworten: 44
Zugriffe: 11843

Re: Drucken per Laptop

Kann es evtl damit zusammenhängen, dass _alle_ Ressourcen ausser https://printer.rbg.informatik.tu-darmstadt.de:631/printers/C005-extern forbidden sind? Man kann ja per browser sich den CUPS anzeigen lassen, aber ausser dieser Adresse selbst bekomme ich für alles andere ein "403 forbidden" Error. Be...
von luecketi
30. Nov 2009 22:25
Forum: Archiv
Thema: Hausübung 1 schon korrigiert?
Antworten: 3
Zugriffe: 242

Hausübung 1 schon korrigiert?

Ich wollte mal fragen, ob die Hausübung 1 schon korrigiert wurde und die Punkte eingetragen sein sollten. Bei mir steht zzt nämlich noch "0 Übungen bearbeitet" :(

Also: Hat schon jemand Punkte für die erste HÜ eingetragen bekommen und bei mir ist was schiefgelaufen?

Danke,

hendrik
von luecketi
7. Sep 2009 17:30
Forum: Archiv
Thema: Neuer Klausurtermin
Antworten: 17
Zugriffe: 1513

Neuer Klausurtermin

Hi Leute,

mir ist "nach vor Anfang des Semesters", wie es https://www3.mathematik.tu-darmstadt.de ... &evsver=97 steht, etwas nebulös...

Wird das jetzt vor dem 1. Oktober oder nach dem 1. Oktober geschrieben?

Gruß,

H.
von luecketi
19. Aug 2009 14:14
Forum: Archiv
Thema: Grenzwertberechnung
Antworten: 4
Zugriffe: 328

Re: Grenzwertberechnung

Vielen Dank Oren!
von luecketi
14. Aug 2009 15:21
Forum: Archiv
Thema: Grenzwertberechnung
Antworten: 4
Zugriffe: 328

Grenzwertberechnung

Hiho, Frage nach kurzer Rückmeldung: Berechnung des \lim_{n \to \infty}\frac{(x^2 + 1)^{10}}{ (x + 2)^{20}} Ich kanns nicht ausrechnen. Habe aber die Vermutung, dass es eine Nullfolge ist, da der Zähler x^{20}, x^{18}, x^{16}, ... produziert, während der Nenner x^{20}, x^{19}, x^{18}, ... produziert...
von luecketi
14. Apr 2009 13:47
Forum: Archiv
Thema: Termin Vorlesung
Antworten: 23
Zugriffe: 1924

Re: Termin Vorlesung

ups. die hab ich jetzt wohl verpasst... HP ist http://www.ke.informatik.tu-darmstadt.de/lehre/ss09/dke/ ? oder gibts irgendwo sonst folien der vl? falls nicht: Kann mal jemand die wichtigsten Eckdaten, die ich jetzt verpasst habe, durchgeben? Also Übungs-System Zb. ob's nen klausurbonus gibt, ob's h...
von luecketi
7. Apr 2009 08:19
Forum: Archiv
Thema: Blockunterteilung in Pumping Lemma
Antworten: 5
Zugriffe: 723

Re: Blockunterteilung in Pumping Lemma

die fallunterscheidungen kommen durch |uv| <= n und |v| >= 1 . Wenn ich richtig liege, dann muss das PL quasi innerhalb der ersten n Buchstaben liegen und nicht funktionieren damit der Widerspruchsbeweis klappt und die Sprache nicht regulär ist. dahinter ist egal... weil uvw das ganze wort ist und u...
von luecketi
6. Apr 2009 19:41
Forum: Archiv
Thema: DFA Minimierung
Antworten: 7
Zugriffe: 1375

Re: DFA Minimierung

Der Tutor heute meinte, wenn man es macht wie im Schöning oder gepimpter Schöning (mit 1, 2, 3 usw.) Kann sollte man eine Legende auch schreiben, damit es klar ist und uns nichts wg. Formfehlern abgezogen wird.
von luecketi
4. Apr 2009 20:21
Forum: Archiv
Thema: DFA Minimierung
Antworten: 7
Zugriffe: 1375

Re: DFA Minimierung

jap. Bloss weniger Schreibarbeit. Du musst es natürlich aber so machen, dass die Korrektoren erkennnen können, welche Tabelle es nun ist...
von luecketi
4. Apr 2009 20:19
Forum: Archiv
Thema: CNF zu jeder kontextfreien Sprache *mit* e-Produktion?
Antworten: 5
Zugriffe: 1036

Re: CNF zu jeder kontextfreien Sprache *mit* e-Produktion?

Hmmm. im Schöning wird strikt getrennt. Ob Sprachen \(\epsilon\)-Prods erlauben oder nicht. Und da man kontextfreie Grammatiken inkl. \(\epsilon\) in kontextfreie ohne \(\epsilon\)-Produktionen überführen kann, ist es irrelevant, da alles, was für kontextfreie gilt, natürlich auch regulären kram.
von luecketi
4. Apr 2009 20:13
Forum: Archiv
Thema: FGdI 1 WS0506 Klausur Aufgabe 5
Antworten: 3
Zugriffe: 464

Re: FGdI 1 WS0506 Klausur Aufgabe 5

ja, genau "müll" = Leere menge. Hast mit deiner Begründung recht, aber da die sagten, JEDER NFA, gibt es also mit sicherheit einen NFA, bei dem Müllzustände entstehen. Da Alle -1 != Alle folgt: Falsch

Zur erweiterten Suche