Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2011 Hauptklausur

Aufgabe 1

Fri, 19 Mar 2021 13:55:40 +0000

Hallo,

kann es sein das bei der Minimierung des DEA man beim ausfüllen der Tabelle auf zwei unterschiedlich markierte Felder kommt. Also bspw. bei S3 und S5 kann ich ja s1 und s3 oder s3 und s4 vergleichen. Bei s1/s3 komme ich auf ein X1 markiertes Feld, bei s3/s4 auf ein X2 markiertes Feld.

Ich bin grade etwas verwirrt. Ich hab mich nun immer am kleineren Zustand orientiert und bin aufs richtige Ergebnis gekommen. Bloß frage ich mich, ob ich etwas falsch mach oder ob das wirklich passieren kann? Und wie ich damit umzugehen habe, da mir das noch nicht in den Tuts oder Übungsbüchern unterlaufen ist.

LG und Vielen Dank!

Variation dieser Aufgabe

Sun, 11 Feb 2018 21:57:46 +0000

Hallo,

ich habe mir gerade die Frage gestellt, wie eine Grammatik aufgebaut sein müsste, die die gleiche Anforderungen an die Wörter bzgl. der Zeichenzusammensetzung (Anzahl a's, b's und c's) besitzt, und zusätzlich noch die Anforderung stellt, dass erst alle a's geschrieben sein müssen, dann alle b's und dann alle c's.

Wörter aus meiner Sprache wären also abbccc oder aabbbbcccccc,
Wörter, die nicht aus meiner Sprache sind: acccbb, cabbccc,...

Wäre cool, wenn mir da jemand weiterhelfen kann, ich stehe da gerade auf dem Schlauch

Vielen Dank schon mal jetzt!

alternativlösung

Sat, 04 Feb 2017 15:58:59 +0000

TM = ({0,1},{0,1,*], {s0,...se}, q, s0, {se })

q	0	1	*
s0	(s0, 0,R)	(s0, 1, R)	(s1, *, L)
s1	(s2, *, L)	(se, *, N)
s2	(s2, 0, L)	(s2, 1, L)	(s3, *, R)
s3	(s0, *, R)

ist dieser alternative richtig ? danke im voraus

Hauptklausur 2011 Aufgabe 7 - Fehler in der Musterlösung

Mon, 30 Jan 2017 15:50:54 +0000

Hallo,

in der Aufgabenstelllung wird nach der Gleitkommadarstellung von -44.75 bei einfacher Genauigkeit gefragt!

In der Lösung wird allerdings +44.75 angegeben.

Auszug Musterlösung:

"Geben Sie die Dezimalzahl−44,75 in der IEEE 754-Darstellung mit einfacher Genauigkeit (32 Bits) an.

Lösung: v = 1,c = 10000100,m = 01100110000000000000000 "

alternativlösung

Sat, 28 Jan 2017 14:43:15 +0000

ist diese Lösung richtig?

A = (E,B,S,δ,s0,F) mit E = {0,1},B = {0,1,B,*},S = {s0,s1,s2,s3, s4, s5, se}, F = {se

(s0, 0) => (s1, B, R)

(s0, 1) => (s0, 1, R)

(s0, B) => (s0, B, R)
(s0, *) => (s5, *, L)

(s1, 0) => (s1, 0 , R)
(s1, 1) => (s2, 1, R)

(s2, 0) => (s3, B , R)
(s2, B) => (s2, B, R)
(s2, *) => (s5, * , L)

(s3, 0) => (s3, 0 , R)
(s3, *) => (s4, * , L)

(s4, 0) => (s4, 0 , L)
(s4, 1) => (s4, 1 , L)
(s4, *) => (s0, *, R)
(s4, B) => (s4, B, L)

(s5, 0) => (s5, 0, L)
(s5, 1) => (s5, 1 , L)
(s5, *) => (se, *, R)
(s5, B) => (s5, 0, L)

MFG

Kontextsensitive Grammatiken

Thu, 04 Feb 2016 16:16:23 +0000

Hallo in der Hauptklausur bei Aufgabe 4 soll man eine kontextsenitive Grammatik angeben. Bisher dachte ich, dass ein Übergang BA -> AB nicht möglich ist, da es nicht im Kontext passiert. Was ist falsch?

Gibt es die Folien für das Thema Multicore-System write-back und write-through?

Sat, 10 Oct 2015 09:06:44 +0000

Hallo,

Gibt es die Folien für das Thema Multicore-System write-back und write-through?

Danke!

Wie kommt man auf die excess-q-Darstellung?

Tue, 29 Sep 2015 10:54:18 +0000

Hallo,

mir ist leider nicht klar, wie ich auf die excess-q-Darstellung komme. Aus den Vorlesungsfolien werde ich auch nicht schlau. Excess-q taucht ja lediglich auf einer Folie auf. Könnte dies bitte jemand anhand dieser Aufgabe erklären?

Danke!

Surveys: erkennen det. KA und ndet. KA die selbe Sprachklasse?

Tue, 29 Sep 2015 10:52:54 +0000

Hallo,

ich habe mal eine Frage zu den Surveys (ich weiß es passt nicht, aber dafür gibt es leider keinen eigenen Threat):

Kapitel 3 zweite Frage: Welche dieser Aussagen über Kellerautomaten sind richtig?

...Antwort 2: det. KA und ndet. KA erkennen die selbe Sprachklasse.

Eigentlich müsste das doch richtig sein, weil beide Die Sprachklasse L2 erkennen. Die ndet.KA haben zwar eine höhere Mächtigkeit, aber det. KA müssten die Sprache dann genauso erkennen (selbst wenn sie nur echte Teilmengen erkennen) oder?

Von Welchem Zahlenbereich von q soll in der Klausur ausgegangen werden?

Tue, 29 Sep 2015 10:50:46 +0000

Exzess-q-Darstellung:

In diesem Fall wurde das zu verwendende q angegeben, jdeoch wurde in der Saalübung explizit darauf hingewiesen, dass man sich das q auch selber errechnen können muss.

Nun gibt es aber bei der z.B. 8-stelligen Exzess-q-Darstellung zwei Möglichkeiten für das q, je nachdem, ob man den Zahlenbereich (-128,...,0,..., 127) oder (-127,...,0,...128) darstellen will. Im ersten Fall, wie es z.B. auch bei wikipedia (http://de.wikipedia.org/wiki/Exzesscode) angegeben wird, wäre das q natürlich 128 (=2^(n-1)), im zweiten Fall wäre es entsprechend 127 (=2^(n-1)-1).

Welcher Fall ist üblicher bzw. wovon sollen wir in der Klausur ausgehen? Oder (wie) wäre das in der Aufgabenstellung deutlich gemacht (z.B. Zahlenbereich angegeben?)?

Danke schonmal!

Unterschied zwischen Komplementdarstellung und -schreibweise?

Tue, 29 Sep 2015 10:48:04 +0000

Ich habe dazu auch noche eine Frage, ich habe gestern im Rahmen von einem anderen Aufgabe schon gefragt, was jetzt genau der unterschied zwischen der Komplement-DARSTELLUNG und der 2-Komplementschreibweise ist und finde den Thread aber leider nicht mehr, um nach der Antwort zu schaun.

Wie würde die Aufgabe dann in der Klausur formuliert sein, damit ich erkenne was gemeint ist?

Wie genau muss ich bei den unterschiedlichen Darstellungen vorgehen?

Funktionsweise des negierens beim 1-er Komplement

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

Hallo

Ich habe eine Frage zu Teil b) : es ist ja nach dem 1-er Komplement der Zahl -49 gefragt und da es ein Komplement ist und man negieren muss, dachte ich, dass man quasi die 49 darstellen muss. Aber es wird trotzdem die -49 dargestellt, warum?

Denn in einer anderen Klausur musste man die 25 im 1-er Komplement darstellen und es wurde die -25 dargestellt, also wurde die Zahl negiert.

Danke im voraus :)

Warum "hinkt" der Datenbus nicht einen Takt hinterher?

Tue, 29 Sep 2015 09:57:21 +0000

Warum "hinkt" der Datenbus nicht einen Takt hinterher? Eigentlich müsste doch im ersten Takt der Lesebefehl über den Steuerbus laufen und parallel dazu im Adressbus die Adresse. Im zweiten Takt könnte dann der Wert X, für den im Takt zuvor die Informationen zum Lesen gegeben waren, in den Datenbus gelangen... Die Daten können doch nicht schon auf dem Datenbus sein, während im Steuerbus noch der Befehl zum Lesen steht?

Trick für den 2. Schritt?

Tue, 29 Sep 2015 09:45:15 +0000

Gibt es da einen Trick beim 2. Schritt (x1 eintragen) ? Sonst muss ja jedes Feld - sobald man in ein anderes eine x1 geschrieben hat - nochmal neu betrachtet werden?

Wie kommt man bei $(s_1,s_6)$ auf $X_3$?

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

Hallo,

wie kommt man denn bei der Ausführung des Algorithmus bei dem Feld von $(s_1, s_6)$ auf die $X_3$?

Meine Vorgehensweise war, dass man zunächst $s_2$ und $s_7$ wählt, dann wählt man $s_1$ und $s_6$, im nächsten Schritt wählt man $s_0$, $s_4$ und $s_5$. Wenn ich dann soweit alle $X_0, X_1, X_2$ eingetragen habe, und im letzten Schritt $s_3$ wähle, dann ist in den entsprechenden Zellen bereits alles aufgefüllt. Und wieso trägt man dann die $X_3$ in ein Feld mit einem von $s_3$ verschiedenen Paar ein?

Vielen Dank

alternative TM?

Fri, 25 Sep 2015 13:24:57 +0000

Hallo

wäre diese alternative TM auch korrekt für die Sprache L?

Vielen Dank für die Hilfe!

MFG

a): Zweck von Zustand s6 ?

Fri, 25 Sep 2015 13:23:09 +0000

Hallo,

mir ist bei Aufgabe 3a) nicht klar, welchen Zweck der Zustand s6 der TM erfüllt. Könnte man von S5 beim Lesen einer 1 nicht direkt in S7 übergehen?

Vielen Dank schon mal für jegliche Antwort!

b): könnten in "L1/L2)" auch NP-vollständige Probleme genannt werden?

Fri, 25 Sep 2015 13:14:22 +0000

Hallo,

sehe ich das richtig, dass bei b) in der Klasse "L1\L2" auch sämtliche NP-vollständgen Probleme (SAT, CLIQUE,..) genannt werden könnten?

Danke!

Wäre die Diagonalsprache auch ein korrektes Beispiel für die Antwort im b Teil der Aufgabe?

Fri, 25 Sep 2015 13:11:16 +0000

Hallo zusammen,

die Sprache L NA ist also ein Bsp für die Komplexitätsklasse P ohne L0: Wäre die Diagonalsprache auch ein korrektes Beispiel für die Antwort im b Teil der Aufgabe? ( Ihre Wörter können ja ebenso von keiner Touringmaschine erkannt werden)

Vielen Dank im Voraus

Welche Komplexität hat das Halteproblem?

Fri, 25 Sep 2015 13:08:44 +0000

Ist Halteproblem NP-schwer? NP-Vollständig?

Danke

Wieso ist L nicht entscheidbar?

Fri, 25 Sep 2015 13:07:46 +0000

Hallo,

Wieso ist L semientscheidbar sondern nicht entscheidbar? Was ist der Unterschied?

Danke!

was ist LNA für eine Sprachklasse?

Fri, 25 Sep 2015 13:06:11 +0000

Hallo,

was ist LNA für eine Sprachklasse?

b): Muss man beim PPL für kontextfreie Sprachen nicht jede Zerlegung betrachten?

Wed, 23 Sep 2015 12:51:36 +0000

Erst mal danke.

Muss ich beim PPL für kontextfreie Sprachen aber nicht zeigen, dass für jede Zerlegung bei einem frei gewählten i das Wort nicht Element der Sprache ist?

Oder reicht das, wenn ich wie hier in der Lösung das ganze nur für ausgewählte Bereiche |vx| pumpe (wie hier "nur" die b's nicht zu betrachten).

Merci

b): Kann man auch einfach die b's pumpen ?

Wed, 23 Sep 2015 12:48:17 +0000

Hallo,

ich habe eine Frage zu Aufgabenteil b).

Warum muss hier bei der Betrachtung der Zerlegungen des Wortes z nicht der Fall berücksichtigt werden, bei dem lediglich die b's gepumpt werden, also $ a^k b^{2k-m} c^{3k} $ ?

Die anderen möglichen Fälle, bei denen v und x maximal zwei verschiedene Zeichen aus {a,b,c} enthalten können, werden ja alle berücksichtigt.

Worin liegt mein Denkfehler?

Vielen Dank

a): Warum darf ein S -> lambda Übergang vorkommen (monotone Grammatik) ?

Wed, 23 Sep 2015 12:42:30 +0000

zu a)

warum ist hier ein S -> lambda Übergang erlaubt. Bei monotonen Grammatiken darf man das doch nur, falls S auf keiner rechten seite vorkommt?

a): Umsortieren trotz kontextsensitiver Grammatik?

Wed, 23 Sep 2015 12:35:22 +0000

zur a)

Warum darf man hier trotz kontextsensitiver Grammatik umsortieren? Laut 2013-H-2b ist CB->BC NICHT kontextsensitiv.

a): Alternativer Lösungsvorschlag

Wed, 23 Sep 2015 12:34:06 +0000

Stimmt diese Grammatik auch?

{S -> lambda | ABBCCC

A -> a | AS

B -> b | BS

C -> c | CS

CA -> AC

AC -> CA

AB -> BA

BA -> AB

BC -> CB

CB -> BC}

Gruß Danke