Theoretische und technische Informatik - ganz praktisch - Letzte Aktivitäten

Alternative Lösung

Wed, 15 Feb 2023 11:58:30 +0000

Hallo,

Passt die Sprache

P={S -> aSb | SC | λ

C -> cC | λ} zu der Aufgabe?

Kommentiert: Aufgabe 8b

Tue, 15 Feb 2022 08:52:45 +0000

vielen Dank für die Antwort

Frage zur Aufgabe 10

Mon, 14 Feb 2022 15:03:09 +0000

Hallo

ich habe eine Frage zur Aufgabe 10:

1. warum bei R3 nach Zeile I = 1? (R3 = 1-2 = -1? )

2. wie soll man indirekt Adressierung lesen? warum steht

*1 = R5 und *2= R4? woher kann man das wissen?

Dank

Kommentiert: Frage zur Aufgabe 3

Mon, 14 Feb 2022 09:39:01 +0000

Alles Klar! Vielen Dank

Kommentiert: Wie soll man Aufgabe 2a) verstehen?

Mon, 14 Feb 2022 09:31:58 +0000

Alles Klar, Vielen Dank

Beantwortet: Menge der 0/1/2 äquivalenten Zustände bestimmen

Mon, 14 Feb 2022 07:37:14 +0000

Hallo uqgap,

0-äquivalent sind zwei Mengen, einmal alle Nicht-Endzustände (N.EZ) und einmal alle Endzustände (EZ). Die sind 0-äquivalent, da wenn das Wort enden würde, würde es einmal akzeptiert werden und das andere mal nicht.

1-äquivalent sind alle Zustände (miteinander), die nach einem Zeichen in der gleichen Menge (N.EZ bzw. EZ) sind.

2-äquivalent, wenn die Zustände nach 2 Zeichen noch in der gleichen Menge landen (Z.b. es gibt 0en und 1en wie hier, dann müssen alle Kombinationen (00, 01, 10, 11) von jeweils zwei Zuständen entweder beide im N.EZ oder im EZ landen, kann auch gemischt sein, aber bei der gleichen Kombi muss es die gleiche Menge sein).

3-äquivalent ...

Man kann das mit der Tabelle machen, man schreibt zuerst z.b. bei k-äquivalent s0 auf und geht dann die Spalte/Zeile durch und schaut, welcher Zustand ist zu s0 >x_k. Den schreibt man in die Menge. Die nächste Menge beginnt dann mit einem nicht zu s0 k-äquivalenten Zustand.

Ein paar Sachen noch dazu:
- Die einzelnen Mengen werden niemals größer (man braucht also entweder gleich viele Mengenklammern oder mehr)
- Die ganz äquivalenten Zustände sind immer zusammen in einer Mengenklammer

Abzählbare und Aufzählbare Mengen

Sun, 13 Feb 2022 15:22:38 +0000

Hallo,

ich habe noch nicht ganz die Bedeutung und unterschiede zwischen den beiden Begriffe verstanden. Was genau bedeutet das und was hat das mit der Entscheidbarkeit der Menge zu tun?

Vielen Dank

Kommentiert: EA minimieren

Sun, 13 Feb 2022 11:13:05 +0000

Vielen Dank :)

Antwort ausgewählt: Schaltwerk

Sat, 12 Feb 2022 11:15:32 +0000

Ein möglicher Lösungsweg (falls sich das andere auch gefragt haben):
https://info2.aifb.kit.edu/qa/?qa=blob&qa_blobid=16130308715377582882

Kommentiert: BDD Bonusklausur 2022

Sat, 12 Feb 2022 09:05:01 +0000

Daraus ergibt sich noch eine kleine Frage von meiner Seite:
Wie ist die Definition eines BDDs?
Ist ein BDD ein (immer) minimaler Baum oder kann ein BDD auch nicht minimale sein, also wie du beschrieben hast, durch z.B. replizieren eines Knotens oder einfach der "Ausgangsbaum"?

Kommentiert: Undefinierte Zustände im Kellerautomat

Sat, 12 Feb 2022 07:06:39 +0000

Aber wie verhält sich das, wenn ich z.B. s0 als Anfangs- und Endzustand habe und keine Konfigurationsfolge von dort aus?
Dann wird jedes Wort nie eingelesen, aber der KA/EA/TM befindet sich trotzdem in einem Endzustand. Wird dann das Wort trotzdem akzeptiert?

Beantwortet: Weitere Alternative Lösung

Fri, 11 Feb 2022 20:15:26 +0000

Hi,

du hast glaube ich deine zustände vertausch:

s₁: ist gerade Anzahl "1" (du gehst ja ganz nach links, dann in s₁ => du hast Null mal "1" gelesen und bist in s₁; sobald du eine "1" liest gehst du in s₂
=> s₂: ungerade Anzahl "1"

und wenn du jetzt wieder eine "1" in s₂ liest (dann hast du ja zweimal eine "1" gelesen => gerade) gehst du wieder in s₁.

Du müsstest also in der hinteren Spalte (*) die 2. & 3. Zeile tauschen (also (s₂,1,N) mit (s_e,0,N))

Grüße

Constantin
(Tutor)

Beantwortet: Hammingzahl

Fri, 11 Feb 2022 20:07:00 +0000

Hi,

du musst ja auch den Abstand zu den anderen Wörtern beachten (a hat ja 1010 wenn du dann b 1000 hast ist der Hammingabstand nur noch 1 => keine 1-fehlererkennbarkeit der Sprach

Grüße

Constantin
(Tutor)

Kommentiert: RS-Flipflop

Thu, 10 Feb 2022 08:29:31 +0000

vielen Dank für deine Antwort

Beantwortet: Ausführlichkeit - BDD

Thu, 10 Feb 2022 07:57:04 +0000

Hallo,

Da das Info2-Klausurformat jetzt auf Online in Form eines Ilias-Tests umgestellt wurde und keine Lösungswege hochgeladen werden müssen, ist es prinzipiell egal wie ausführlich oder nicht ausführlich die Rechenwege sind.

Kommentiert: Indirekte Adressierung

Tue, 08 Feb 2022 09:00:40 +0000

Ich wäre zudem dankbar, wenn man kurz dabei darauf eingehen könnte, was man hier beachten muss, weil hier Register & Speicherzellen verwendet werden.

Wie komm ich auf die Leitungen

Mon, 07 Feb 2022 16:17:34 +0000

Hallo,

kann mir jemand bitte erklären, wie ich bei dieser Aufgabe auf die entsprechenden Leitungen komme? Wie ist das Vorgehen bei solchen Aufgaben? Ich habe ehrlich keine Idee, wie ich an so eine Aufgabe rangehen muss.

Beantwortet: Tut 5: Hufmann Einführungsaufgabe

Sat, 05 Feb 2022 19:40:34 +0000

Hallo uqjdo,

da gibt es kein bestimmtes Vorgehen, beide Lösungen sind richtig und du kannst es machen, wie es dir lieber ist.

Beim Huffman-Code gibt es ganz viele (unterschiedliche) Lösungen, alleine, wenn man die 0 rechts oder links schreibt. Oder auch wenn man z.B. dreimal die gleiche Zahl hat, dann kann man einfach zwei wählen.

An deinen Lösungen sieht man auch schön, dass f und b jeweils drei Zeichen lang sind und die anderen nur zwei, die Codelänge ist also bei beiden gleich (muss sie auch, sie muss ja minimal sein). Und auch die Fano-Bedingung wird bei beiden erfüllt.

Viele Grüße und weiterhin viel Erfolg beim Lernen wünscht

Anne (Tutorin)

Beantwortet: Rechtslineare Grammatik in Greibach-NF

Fri, 04 Feb 2022 19:26:39 +0000

Hallo ueyfv,

da hast du recht, die rechtslineare Grammatik muss lambdafrei sein, damit man 'nichts' machen muss. Ansonsten muss man sie lambdafrei machen.

Die einzige Sonderregel bei der Greibach-Normalform mit Lambda ist, dass das Startsymbol auf Lambda abgebildet werden darf, wenn es auf keiner rechten Seite auftaucht (und zwar genau dann, wenn das leere Wort zur Sprache gehört)

Viele Grüße

Anne (Tutorin)

Beantwortet: Tut 3 Turing Maschine b)

Fri, 04 Feb 2022 19:09:24 +0000

Hallo ugtsf,

deine Lösung ist genauso korrekt. Nur wenn vorgegeben wird, wo der Lesekopf enden sollte muss es dort auch enden, sonst kann man überall enden.
Die Musterlösung aus dem Tut ist nur etwas schneller (wenn man nicht zweimal durch das Wort muss), aber das ändert nichts an der Richtigkeit deiner Lösung.

Auch bei Turingmaschinen gibt es oft mehrere Lösungen (das ist nicht speziell an dieser Aufgabe)

Viele Grüße

Anne (Tutorin)

Kommentiert: Bonusklausur 2022, Aufgabe zu BDD

Fri, 04 Feb 2022 12:11:33 +0000

Ganz genauso

Beantwortet: kontextfrei

Fri, 04 Feb 2022 08:27:16 +0000

Hallo,

bei der Aufgabe 3 von der Hauptklausur 2017 wird nicht gefordert, sie kontextfrei zu machen.

Die Grammatik G ist nicht kontextfrei, z.B. CB->CZ

Im Teil c) soll die neue Sprache (mit einem b weniger) realisiert werden.

Ich hoffe, ich konnte dir weiterhelfen, falls das deine Frage nicht beantwortet, konkretisiere diese bitte und frag gerne noch einmal nach.

Kommentiert: Beispiel zu ndet. KA

Thu, 03 Feb 2022 14:29:24 +0000

Ja okay, deinen ersten Fall hatte ich eigentlich auch gemeint.
Besten Dank!

Beantwortet: Unterscheidung von deterministischen und nichtdeterministischen Kellerautomaten

Wed, 02 Feb 2022 16:19:08 +0000

Hallo uwlxy,

wenn es zwei mögliche Zustandsübergänge im selben Zustand und mit demselben Kellerinhalt gibt, entspricht das genau der Definition eines nichtdeterministischen Kellerautomaten. Bei deterministischen Automaten ist dies nicht erlaubt, es muss abhängig vom aktuellen Zustand und Kellerinhalt eindeutig sein, welcher Zustandsübergang als nächstes erfolgt.

Viele Grüße

Jannik (Tutor)

Beantwortet: Wie gleichzeitig Typ 0 und Typ 3 Grammatik für "selbe Sprache"?

Mon, 31 Jan 2022 10:53:51 +0000

Hallo ueyfv,

einzelne Sprachen können mithilfe unterschiedlicher Grammatiken beschrieben werden (als Beispiel kannst du im Tut 1 Nr.1b) schauen). Die Regelmenge unterscheidet sich dabei etwas, wie hier bei der Aufgabe.
Welche Sprache da beschrieben wird, muss nicht unbedingt davon abhängen bzw. es gibt unterschiedliche Ansätze, wie man sie beschreiben kann.
Und eine Sprache vom Typ 3 ist automatisch auch eine Sprache vom Typ 0, da es nur mehr Einschränkungen gibt.

Aber man kann nicht jede Sprache vom Typ 0 auch als z.B. rechtslineare Sprache schreiben, also die Grammatik von Typ 0 ist deutlich Mächtiger als die Grammatik Typ 3 (und auch als 2 oder 1).

Falls noch etwas unklar ist, kannst du gerne noch einmal nachfragen

Beantwortet: cliquen

Mon, 31 Jan 2022 10:44:52 +0000

Cliquen sind ja Teilgraphe, die vollständig verbunden sind. Man schreibt dann einfach die Knoten des Teilgraphen (die Reihenfolge ist egal) in geschweifte Klammern.

Beantwortet: Turingmaschine Bonusklausur 2022

Mon, 31 Jan 2022 10:42:30 +0000

Hallo, ich habe die Bonusklausur nicht, aber es klingt, als ob auch die Wörter 000 oder 11 dazugehören. So lange nicht sowohl 0 als auch 1 darin vorkommen, muss das kein Widerspruch sein. Sonst muss das S vorkommen (z.B. 00001S1S001S0 - nach jeder 1 kommt ein S)

Beantwortet: dualsystem

Fri, 28 Jan 2022 21:20:33 +0000

In Aufgabenteil a) wird nach der Zahlendarstellung für das Dualsystem als Gleitpunktzahl gefragt. Die Formel wird genauso auch in Tutorium 4, Aufgabe a) behandelt.

Beantwortet: Automat in Aufgabe 41 a) nichtdeterministisch?

Fri, 28 Jan 2022 21:16:24 +0000

Hallo,

da sowohl bei Aufgabe 41, als auch bei Aufgabe 44 ein Lambda-Übergang notwendig ist, um den Automaten vollständig zu definieren, sind beide Automaten damit auch direkt nichtdeterministisch.

Bei einem Lambda-Übergang findet ein Zustandsänderung statt, ohne dass etwas in den Keller geschrieben, bzw. eingelesen wird. Dieser ist immer automatisch ein nichtdeterministischer Schritt, da man theoretisch alternativ auch das nächste Zeichen des abzuarbeitenden Wort "bearbeiten" könnte (Siehe Tut 2).

Beantwortet: unterschied zwischen minimierte und vereinfachte

Fri, 28 Jan 2022 14:33:59 +0000

Bei der Minimierung von endlichen Automaten handelt es sich um den vorgestellten Algorithmus aus der Vorlesung (siehe VL - Themen zu Tutorium 1 - Minimierung EA - Formale Modelle- Video 2; bzw. Tutorium 1, A6).

Bei vereinfachten Automaten handelt es sich von Automaten, in denen alle nicht erreichbaren Zustände eliminiert wurden. D.h. alle Zustände des vereinfachten Automaten A sind erreichbar (siehe VL - Themen zu Tutorium 1 - Formale Modelle - Minimierung EA - Video 2 - Folie 2-32).

Beantwortet: Teilaufgabe b

Fri, 28 Jan 2022 14:28:29 +0000

Hallo,

bei der b) wird zuerst die Zahl A als Binärzahl dargestellt (A2K) und Zahl C als Binärzahl als Zweier-Komplement dargestellt (C2K, alle Bits flippen und 1 an niederwertigsten Stimme addieren). Anschließend wird C2K von A2K abgezogen. Die Zeile c ist die Übertragszeile der binären Subtraktion.

Ich hoffe, jetzt ist es etwas klarer!

Beantwortet: teilaufgabe d

Fri, 28 Jan 2022 14:16:44 +0000

Welcher Teil der d) ist genau unklar?

Kommentiert: Schaltwerk

Tue, 25 Jan 2022 18:38:33 +0000

vielen Danke für die Antwort

Antwort ausgewählt: Huffman-Codierung

Tue, 25 Jan 2022 18:27:53 +0000

Hallo,

1. es ist beliebig, ob die 1en links oder rechts stehen, es muss nur konsistent, also dann durchgängig auf einer Seite.
Das der Code direkt in der Box oben steht ist einfach eine Darstellungsform, auch das muss nicht so sein, man kann es auch dann am Ende der Aufgabe kodieren.

2. Die Codelänge mit dem Huffman-Code ist 1,90625 Zeichen und mit dem vorgegebenen Code ist die Codelänge 2. Die Ersparnis pro Zeichen ist also (2-1,90625)/2

Viele Grüße

Anne (Tutorin)

Kommentiert: Turingmaschine

Tue, 25 Jan 2022 17:35:45 +0000

Danke für die Antwort

Kommentiert: Zahlendarstehllung

Tue, 25 Jan 2022 17:34:29 +0000

Alles Klar. Vielen Dank für die Antwort

Kommentiert: Zahlendarstellung

Tue, 25 Jan 2022 17:32:08 +0000

Vielen Danke für die Antworte

Beantwortet: Ist es bei abzählbaren Mengen auch eine berechenbare Funktion oder nur irgendeine Funktion?

Sat, 22 Jan 2022 15:48:01 +0000

Ja, so habe ich es auch verstanden. Eben die Injektivität bei der abzählbaren Menge.

Bei aufzählbaren Mengen braucht man auf jeden Fall eine berechenbare Funktion. Bei abzählbar glaube ich nicht unbedingt

Beantwortet: Turingmaschine Bonusklausur

Sat, 22 Jan 2022 15:35:52 +0000

Hallo,

wenn es zwei oder mehr Möglichkeiten gibt, dann kann man einfach entscheiden, welches zuerst ausgeführt werden sollte (oder die Maschine, es wird nicht parallel sondern sequentiell ausgeführt). Führt der Weg in eine Sackgasse oder zur nicht Akzeptanz des Wortes, dann muss der andere Weg/Zustand ausprobiert werden. Wenn ein Wort mit dem eingeschlagenen Weg funktioniert, dann muss man den anderen nicht überprüfen. Es können also beide Zustände auftreten. Es ist also eine nichtdeterministische Turingmaschine.

Ich hoffe, jetzt ist es klarer, wenn nicht, frage gerne noch einmal nach.

Viele Güße
Anne (Tutorin)

Kommentiert: NP-Vollständigkeit

Sat, 22 Jan 2022 15:25:03 +0000

Wir bilden den Graphen mit der Funktion auf einen neuen Graphen ab und haben dann genau das CLIQUE Problem. Da wir wissen, dass das NP-schwer ist und die Funktion in Polynomialzeit berechenbar ist (einfach nur die Kanten neu machen), ist das andere Problem auch NP-schwer.

Die Knoten 3,4,5 sind links vollständig verbunden und rechts sind sie nicht verbunden (genau wegen der Bildungsvorschrift).

Falls noch etwas unklar sein sollte, kannst du gerne noch einmal nachfragen.

Viele Grüße

Anne (Tutorin)

Beantwortet: alternativ

Sat, 22 Jan 2022 15:00:05 +0000

Hallo,

ich bin mir nicht sicher, was du mit IyI => 1 meinst. Könntest du das konkretisieren?
Und anstatt 0^(...) müsste es bei der Aufgabe a^(...) heißen, dann funktioniert es auch mit xy=a^j 1<=j<=n, y=a^k 1<=j<=n und z dann entsprechend (wie in der Lösung)

Beantwortet: verstandnis

Sat, 22 Jan 2022 14:54:17 +0000

Ja genau, a, b und c stehen für je ein Bit und es ist a-b (-c) = d (c'). c ist der Übertrag aus dem Schritt davor.

101 a
-010 b
(100) c bzw. c'
011 d

hier wird es dreimal genutzt die a,b,c, erst mit dem jeweils rechtesten Zeichen, dann mit dem mittleren und zum Schluss mit dem ersten Zeichen.

Falls noch etwas unklar ist, frage gerne noch einmal nach.

Viele Grüße
Anne (Tutorin)

Beantwortet: verstandnis

Sat, 22 Jan 2022 14:23:31 +0000

Hallo,

LR(K) wird Folie 3-40 beschrieben. Kurz gesagt, die Grammatik ist eine LR(K) Sprache, wenn es eine deterministische kontextfreie Sprache ist. Da die Grammatik nicht kontextfrei ist, ist es auch nicht LR(K)

Die Grammatik ist nicht kontextfrei, da zwei Nonterminalsymbole auf zwei andere abgebildet werden, es hängt also vom Kontext ab. Bei kontextfreien sind nur Regeln A -> psi mit psi besteht aus Nonterminal und Terminalsymbolen.

Ein Beispiel für eine kontextsensitive (wo es vom Kontext links und rechts abhängt)

aA -> ab
WAb -> WBcb

Also je nachdem, wo das A steht, kann es auf etwas anderes abgebildet werden.

Beantwortet: Klausurthemen/ CMOS

Fri, 21 Jan 2022 17:52:53 +0000

Wenn offiziell (vom Prof) nichts ausgeschlossen wird, dann kann alles drankommen. Das stünde dann auch in Ilias.
Man kann sich schon an den Übungsbüchern orientieren, manche Aufgaben sind leichter, manche schwerer. Am besten macht man von allen Aufgaben ein paar, dass man sich sicher in den Aufgabentypen ist. Die Tutorien sollte man sich auch noch einmal ansehen und die Folien natürlich.

Beantwortet: reguläre Ausdrücke

Fri, 21 Jan 2022 17:49:25 +0000

Hallo uqyws,

zur Basismenge gehört auch die leere Menge, die fehlt hier, daher ist {5} und {7} nicht die vollständige Basismenge

Beantwortet: alternativ PPL

Fri, 21 Jan 2022 17:02:10 +0000

Hallo uqyxt,

dein Wort hier wäre 0^2n1, das gehört nicht zur Sprache, da es kein Palindrom ist. Wenn du z als 0^2n-j10^2n schreibst, dann passt das mit i=0.

Viele Grüße

Anne (Tutorin)

Beantwortet: verstandnis für v

Fri, 21 Jan 2022 16:51:51 +0000

Hallo,

ich bin mir nicht ganz sicher, ob ich die Frage richtig verstanden habe, falls nicht, frage einfach noch einmal und konkretisiere die Frage am besten.

Da in b) kein v vorkommt, geht es vermutlich um a). Alle Wörter, die am Ende auf abc Enden, gehören zur Sprache. Das heißt, es ist egal, wie das Wort am Anfang aussieht, v besteht aus a,b,c in beliebiger Reihenfolge und Häufigkeit und dann sind alle Wörter, die dazugehören vabc

Beantwortet: ALTERNATIVE

Fri, 21 Jan 2022 16:30:27 +0000

Hallo uqyxt,

in der Aufgabe ist nach einer rechtlinearen Grammatik gefragt, also sind nur Regeln der Form N->TN | T erlaubt.
Also ist deine Lösung hier nicht richtig. mit dem leeren Wort auf der rechten Seite muss man eventuell auch aufpassen, je nachdem, welcher Typ die Grammatik haben soll.
Zusatz: Anstatt A -> 0B | 1B .. kannst du auch direkt A -> 0A | 1A ... schreiben, das B gibt keinen Mehrwert.

Viele Grüße
Anne (Tutorin)

Beantwortet: verstandnis

Tue, 11 Jan 2022 09:24:17 +0000

Das kommt auf dem nächsten Übungsblatt (nicht im Tut), es ist ein Vorgehen, wie man die periodische Zahl findet.

Immer die Nachkommastelle *2 und wenn dann 1,... rauskommt, ist es eine 1 und 0,... rauskommt, dann eine 0. Das macht man so lange, bis man die Periode erkennt und muss dann nur aufschreiben. Hier ist es 1001 die Periode, um eines versetzt dann 0011, also jeweils die dritte und vierte Nachkommastelle von einem Viererblock ist eine 1.

Falls es dann noch Fragen gibt, kannst du gerne noch einmal nachfragen (wenn die Lösungen von dem ÜB raus sind)

Beantwortet: Sprache welche albzählbar aber nicht aufzählbar ist?

Tue, 11 Jan 2022 09:14:25 +0000

Hallo upmtz,

auch bei aufzählbaren Sprachen gibt es den Algorithmus

GdInfoII 5-12 ist die Definition von aufzählbaren Sprachen M *Teilmenge* E* heißt (rekursiv) aufzählbar genau dann, wenn es gibt eine surjektive, berechenbare Funktion f : IN_0 -> M gibt.

M heißt abzählbar gdw M injektiv in IN abbildbar ist. (GdInfoII 5-7)

Der unterschied ist also, dass es bei abzählbaren Sprachen auch injektiv ist (insgesamt also bijektiv) und bei aufzählbaren Sprachen nur surjektiv