Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2008 Nachklausur

notwendig BDD minimal anzugeben?

Mon, 16 Jan 2017 17:37:24 +0000

d.) ist es bei solchen Aufgaben ausreichend ein korrektes BDD anzugeben? Oder muss dieses die minimal mögliche Anzahl an Knoten haben?

Nicht explizit zu dieser Aufgabe: wenn aus einem BDD ein boolscher Term konstruiert werden soll. Reicht die Korrektheit oder muss dieser möglichst kurz sein?

Sprungbefehl

Sat, 23 Jul 2016 15:29:41 +0000

Guten Abend,

versuche nochmal mein Glück:

Liegt es an den 3 verbleibenden potentiellen Befehlen, wodurch 3 Takte abgewartet werden muss? Kurze Erklärung wäre super!

Danke im Voraus!

Beweis NP-schwer

Sat, 23 Jul 2016 15:20:28 +0000

Guten Abend,

innerhalb der Lösung wird die Charaktereigenschaft, dass A eine Teilemenge von "NP-schwer" ist über folgenden Ansatz bewiesen:

∀B ∈ NP : B ≤P A. : Man nimmt ein Problem B, von dem man weiß, dass es NP-vollständig ist und zeigt, dass man es in Pol.-Zeit auf A reduzieren kann.

Wäre dies allerdings nicht auch bereits hinrechend, um zu beweisen, dass A NP-vollständig ist? Beziehe mich hierbei auf die Lösung der Hauptklausur, in der steht: "Es reicht, ein einziges NP-vollständiges Problem auf ein zu untersuchendes Problem zu reduzieren, um NP-Vollständigkeit zu beweisen."

In anderen Worte, wird die NP-schwere von A dadurch bewiesen, dass es eine Teilmenge von NP ist (wurde im ersten Teil bewiesen mit Hilfe einer nicht deterministischen TM) und dass es NP-vollständig ist?

Herzlichen Dank im Voraus!

Wäre bei b) auch folgendes korrekt?

Sat, 10 Oct 2015 18:51:56 +0000

Wäre bei b) auch folgendes korrekt?

S -> (A) | B,

A -> (A) | lambda | B,

B -> ()B | lambda | A

schließlich steht ja nicht dabei, was für eine Grammatik es sein muss.

spielt die Indizierung der m bei der Mantisse eine Rolle

Sat, 10 Oct 2015 18:03:33 +0000

Frage zur Teilaufgabe 10 d):

1. Spielt die Indizierung der m bei der Mantisse eine Rolle (manchmal ist die aufsteigend mnchmal absteigend).

2. Ich kann nicht verstehen wie man auf die Lösung für 5,75 kommt. Ich habe es versucht und komme auf 01010111 (da ich immer das linkeste Zeichen der Mantisse mir der 2^-1 assoziere)

Danke schonmal für die Hilfe!

Wie komme ich bei a) auf die 31?

Sat, 10 Oct 2015 18:02:07 +0000

Wie komme ich bei a) auf die 31? Irgendwie stehe ich auf dem Schlauch!

Vielen Danke!:)

b): Wie muss man sich einen Sprungbefehl vorstellen?

Tue, 29 Sep 2015 11:08:51 +0000

Ich verstehe den Aufgabenteil b) nicht. Wie hat man sich das (z.B. auf auch im Hinblick auf die grafische Darstellung) vorzustellen, wenn ein Befehl ein Sprungbefehl ist?

Wan muss man PPl für reguläre bzw. wann für kontextfreie Sprachen anwenden?

Tue, 29 Sep 2015 10:27:11 +0000

Hallo,

woran kann ich hier sehen, dass ich das Pumping Lemma für reguläre Sprachen verwenden muss und nicht das für kontextfreie?

Bei meiner Suche im Internet und beim Betrachten von Beispielen für kontextfreie Sprachen hätte ich mich für dieses Pumping Lemma entschieden.

Was passiert bei $m=0$?

Tue, 29 Sep 2015 10:25:47 +0000

Hallo,

was würde denn passieren, wenn ich für $m=0$ wähle? Nach Definition ist das ja zulässig. In diesem Fall würde ich ein Wort haben, welches nur aus $a^n$ besteht, und ich könnte beliebig pumpen. Damit hab ich aber meinen Beweis ja entkräftet, weil ich ein Gegenbsp gefunden habe.

alternative Begründung?

Tue, 29 Sep 2015 10:24:55 +0000

1) Wäre auch folgende Form akzeptabel?

Angenommen L lässt sich als reuläre Sprache durch einen EA A darstellen.

A habe N Zutsände mit w = a^Nb^(N*M).

Sei w = xyz mit w element L und |w| >= N eine beliebige Partiton von w. Laut PPL gilt.

a) |xy| <= N

b) |y| >= 1

c) Für alle i element N0 : xy^iz element L

aus a) folgt xy = a^j mit j >= 0

aus b) folgt y = a^k , x = a ^(j-k), z = a^(N-j)b^(m*N)

wähle i = 2: a^(j-k) a^2k a a^(N-j)b^(m*N) = a^(N+k)b^(m*N) ist nicht element L

Da nicht element L Widerspruch zur Annahme und L ist damit keine reguläre Sprache.

2) In der Lösung steht "Man kann nicht ohne weiteres mit xy^0z argumentieren, (..) da hier durch Weglassen von as doch wieder ein Wort aus L enstehen könnte."

Ist damit folgender Fall gemeint?:

Wenn nun n = 2 gilt und m = 2, dann würde das Wort aabbbb heißen, wenn aber hier nun as weggelassen werden, also z.B. nur noch ein a da ist, dann wäre das Wort abbbb, was aber durch n=1 und m=4 darstellbar wäre und somit in L liegen würde?

b): Warum ist Lambda bereits bei B1?

Tue, 29 Sep 2015 09:37:16 +0000

zu b):

Wieso steht hier das Lambda bereits bei B1 und nicht erst bei B3? Müssen in L3 nicht mindestens 1*3 b's vorkommen? (m und n sind ja beide Element der Natürlichen Zahlen ohne Null).

Muss nicht Zustand 1 ein Endzustand sein?

Tue, 29 Sep 2015 09:36:22 +0000

Müsste nicht auch zustand 1 ein Endzustand sein (n=0)? Täusche ich mich, oder akzeptiert der Automat nur Worte mit aa am Anfang?