Die Suche ergab 71 Treffer

von patrix
31. Okt 2010 16:00
Forum: Archiv
Thema: VS yasm
Antworten: 13
Zugriffe: 2016

VS yasm

Hallo zusammen,
ich versuche gerade das Visual Studio 2010 Plugin für yasm einzubinden. Hat das irgendjemand geschafft das Plugin zum laufen zu bringen? Wenn ja, wie??? Würde mich sehr interresieren...

Vielen Dank im Voraus

Patrick
von patrix
16. Okt 2010 12:03
Forum: Archiv
Thema: Übungsgruppe gesucht
Antworten: 7
Zugriffe: 841

Re: Übungsgruppe gesucht

Hallo zusamen,
zunächst mal Danke an alle Kommilitonen, die sich gemeldet haben. Ich habe nun eine Gruppe gefunden und von daher hat sich das Thema für mich erledigt. Ich lasse den Thread aber mal so bestehen, denn es könnten sich ja noch andere Suchende hier posten.

Viele Grüße Patrix
von patrix
6. Okt 2010 09:41
Forum: Archiv
Thema: Übungsgruppe gesucht
Antworten: 7
Zugriffe: 841

Übungsgruppe gesucht

Hallo zusammen, so wie ich gehört habe gibt es nächstes Semester wieder 3er Gruppen für GdI 3 und ich bin bereits vorab auf der Suche, nach 2 Kommilitonen um eine solche zu bilden. Bitte schickt mir eine PN wenn ihr interresse habt. Noch eine kleinigkeit: Ich bin daran interressiert, alle Übungen, P...
von patrix
2. Sep 2010 12:37
Forum: Archiv
Thema: Einige Fragen...
Antworten: 14
Zugriffe: 1936

Re: Einige Fragen...

ja natürlich mit einem Kellerspeicher auch lösbar jetzt seh ich es!

vielen Dank (mal wieder)
von patrix
2. Sep 2010 11:55
Forum: Archiv
Thema: Einige Fragen...
Antworten: 14
Zugriffe: 1936

Re: Einige Fragen...

Hi franzose, vladimir hat aber doch mit seiner Annahme recht, dass keine der drei Sprachen kontextfrei und somit auch nicht regulär ist oder? (Wenn auch falsch bewiesen)

Grüße Patrick
von patrix
31. Aug 2010 13:22
Forum: Archiv
Thema: Komplement von endlichen Sprachen regulär?
Antworten: 5
Zugriffe: 1749

Re: Komplement von endlichen Sprachen regulär?

O.K. jetzt verstehe ich - Meine Frage hat sich mit Deiner Frage erledigt :)

Danke und Grüße Patrick
von patrix
31. Aug 2010 12:48
Forum: Archiv
Thema: Paralleles simulieren zweier Kellerautomaten
Antworten: 2
Zugriffe: 290

Re: Paralleles simulieren zweier Kellerautomaten

o.k. hab mich jetzt noch mal schlau gemacht und nachgelesen, mit Vereinigung und durchschnitt. Jetzt aber nochmal zu meiner ersten Frage: die des Parallelen Simulieren zweier Kellerautomaten sind die korrekt?

Vielen Dank (besonderst an Bruse für die tolle Unterstützung in den letzten Tagen)

Patrick
von patrix
31. Aug 2010 10:47
Forum: Archiv
Thema: Paralleles simulieren zweier Kellerautomaten
Antworten: 2
Zugriffe: 290

Paralleles simulieren zweier Kellerautomaten

Hallo zusammen, ich habe eine Frage mit einer Idee und wollte wissen, ob das richtig ist: Warum kann man keine zwei Kellerautomaten nicht parallel simulieren? Idee: Weil ein Kellerautomat im Gegensatz zu einer TM keine feste Speichergröße hat kann nicht wissen ab welchen Speicherbereich der 2. Kelle...
von patrix
31. Aug 2010 10:35
Forum: Archiv
Thema: Komplement von endlichen Sprachen regulär?
Antworten: 5
Zugriffe: 1749

Re: Komplement von endlichen Sprachen regulär?

O.K. super vielen Dank! Das heißt müsste aber heißen, das Typ2 (kontextfrei) oder Typ1 (kontextsensitive) oder Typ0 (Allgemein) die nicht endlich sind (also nicht regulär) auch kein endliches Komlement haben?

Viele Grüße Patrick
von patrix
30. Aug 2010 19:58
Forum: Archiv
Thema: Komplement von endlichen Sprachen regulär?
Antworten: 5
Zugriffe: 1749

Komplement von endlichen Sprachen regulär?

Hallo zusammen, ich habe eine Frage: Ist jede Sprache mit endlichem Komplement ist regulär? Also ich hätte gesagt nein mit der Begründung: Wenn eine Sprache endlich ist dann wird sie von einer (D)TM erkannt also handelt es sich mindestens um eine Sprache mit einer Grammatik (Typ 0). Jedoch ist das K...
von patrix
26. Aug 2010 14:32
Forum: Archiv
Thema: Definition von UNSAT und FINUNSAT
Antworten: 5
Zugriffe: 856

Re: Definition von UNSAT und FINUNSAT

Das werde ich wohl am besten tun...
Danke und Grüße Patrick
von patrix
26. Aug 2010 10:57
Forum: Archiv
Thema: Definition von UNSAT und FINUNSAT
Antworten: 5
Zugriffe: 856

Re: Definition von UNSAT und FINUNSAT

Hi vielen Dank für Deine Antwort! Ich versuche es mal zusammenzufassen: UNSAT Beschreibung: alle unerfüllbaren Formlen in unendlichen Formelmengen Komplement: VAL Beinhaltet: - entscheidbar: ja, da UNSAT und Komplement (VAL) rekursiv aufzählbar Beweis: Sequenzkalkül, Resolution VAL Beschreibung: all...
von patrix
26. Aug 2010 09:57
Forum: Archiv
Thema: Beweisführung der Übung im Skript
Antworten: 5
Zugriffe: 498

Re: Beweisführung der Übung im Skript

Ah O.K. jetzt hat es geschnaggelt!

Vielen Dank und Grüße Patrick
von patrix
26. Aug 2010 00:00
Forum: Archiv
Thema: Definition von UNSAT und FINUNSAT
Antworten: 5
Zugriffe: 856

Definition von UNSAT und FINUNSAT

Hallo zusammen, ich habe eine Frage, bezüglich UNSAT und FINUNSAT (UNSAT ist das Komplement von SAT und FINUNSAT ist das Komplement von FINSAT). Es gilt ja, dass FINUNSAT \subset UNSAT. Also darf ja weder UNSAT aber vor allem FINUNSAT nicht rekursiv aufzählbar sein sonst müsste ja auch FINSAT entsch...
von patrix
25. Aug 2010 23:54
Forum: Archiv
Thema: Beweisführung der Übung im Skript
Antworten: 5
Zugriffe: 498

Re: Beweisführung der Übung im Skript

Hallo nochmal, Bei Übung 6.8 wäre meine Argumentation die Folgende: Weisen Sie die Korrektheit der modus ponens Regel nach. angenommen es gibt die zwei folgenden Sequenzen: \Gamma\vdash\varphi und \Gamma\!\,'\!\,,\varphi\vdash\Delta Dann wäre die Zusammengeführte Sequenz: \Gamma\!\,,\Gamma\!\,'\!\,,...

Zur erweiterten Suche