Theoretische und technische Informatik - ganz praktisch - Letzte Fragen und Antworten

Alternative Lösung

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

Hallo,

Passt die Sprache

P={S -> aSb | SC | λ

C -> cC | λ} zu der Aufgabe?

Beantwortet: Aufgabe 8b

Tue, 15 Feb 2022 07:45:24 +0000

Wir nehmen 8^3/2, da wir 3 Zeichen für die Charakteristik haben und /2 macht man immer (bei der dualen Darstellung kommt daher das -1), um so die Zahlen in beide Richtungen (große und kleine) darstellen zu können.

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

Beantwortet: Wie soll man Aufgabe 2a) verstehen?

Mon, 14 Feb 2022 07:57:30 +0000

Wird in s0 z.B. eine 0 (erstes Zeichen) gelesen, wird eine 0 (zweites Zeichen auf dem Pfeil) ausgegeben und man wechselt in den Zustand s2. Wird dagegen eine 1 gelesen, wird auch eine 0 ausgegeben, aber man wechselt in s1.

Schau dir am besten noch einmal Mealy-Automaten an.
Wie man rausfindet, was der Automat macht, hilft es kleine Beispielwörter zu nutzen und zu sehen, was mit diesen passiert

Beantwortet: Frage zur Aufgabe 3

Mon, 14 Feb 2022 07:52:51 +0000

Im Zustand s1 gab es aus dem vorherigen Schritt einen Übertrag in s0 nicht.
D.h. bei s1 mit 01 ist es 0-(1+1)=1-1-1=0(1) (4. Zeile der Tabelle, in Klammern steht der Übertrag), es wird also 0 ausgegeben und ein Übertrag, man bleibt also in s1.
Bei der Eingabe 10 kommt (wieder mit dem Übertrag davor) 1-0-1 = 0 (0), also wird 0 ausgegeben und man wechselt in Zustand s0, da es keinen Übertrag mehr gibt

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

Beantwortet: Schaltwerk

Sat, 12 Feb 2022 10:42:10 +0000

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

Beantwortet: BDD Bonusklausur 2022

Fri, 11 Feb 2022 21:45:35 +0000

Hi,

die maximale Knotenanzahl zu bestimmen ergibt nicht so wirklich Sinn (theoretisch könnte man Knoten mit gleicher Bedeutung unendlich oft vervielfachen und hätte immer noch ein Diagramm mit der gleichen Aussage vorliegen)

Die minimale Knotenanzahl (für eine bestimmte Variablenreihenfolge) bestimmst du indem du das BDD aufstellst. (Das BDD ist so definiert, dass es für die gleiche Variablenreihenfolge immer die minimale Anzahl an Knoten hat und gleich aussieht)

Da die Anzahl der Knoten des BDDs (und damit auch die minimale Anzahl) aber von der Reihenfolge der Variablen abhängt kann es einen Unterschied machen in welcher Reihenfolge diese dastehen.
[mgl. Variablenreihenfolgen bei den Var. x,y,z: (x,y,z), (x,z,y), (y,z,x), (y,x,z), (z,x,y) oder (z,y,x)]

in der hier verlinkten Aufgabe (BIN-AA) bspw. müssten wenn c oben steht 5 Knoten zustande kommen.

Vielleicht wurden deshalb in der Bonusklausur auch die beiden Formulierungen mit "4 oder weniger" sowie "3 oder mehr", damit Leute die die Reihenfolge anders gewählt hatten keinen Nachteil haben (Aber keine Garantie, ich hab die Aufgabe nicht wirklich angeschaut & auch nicht vorliegen).
Wie man jetzt auf die minimale Anzahl der Knoten kommt ohne alle BDDs aufzuzeichnen?:
Schau dir die Wahrheitstabelle an und versuche Abhängigkeiten zu finden
(in der Aufgabe BIN-AA siehst du dass wenn A 1 ist nur B entscheidet, ob am Ende "0" oder "1" herauskommt. Daraus kann man schließen, dass man hier das eine C nicht braucht)

Ich hoffe das hilft weiter

Grüße

Constantin
(Tutor)

Beantwortet: Undefinierte Zustände im Kellerautomat

Fri, 11 Feb 2022 20:18:04 +0000

Hi,

allgemein ist es so, dass Wörter nur als angenommen gelten wenn der Kellerautomat/Endliche Automat/Touringmaschine in einem Endzustand stoppt.

Also würde der Kellerautomat wenn er vorher stoppen muss, da keine Folgekonfiguration vorhanden ist das Wort ablehnen.

Grüße

Constantin

(Tutor)

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)

Beantwortet: EA minimieren

Fri, 11 Feb 2022 19:59:45 +0000

Hi,

mir wäre kein anderer Weg bekannt/in der Vorlesung wird auch kein anderer behandelt. Wenn man das aber ein bisschen übt ist man da deutlich schneller unterwegs.

(Sry dass man da nicht mehr zu sagen kann)

Constantin

(Tutor)

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.

Beantwortet: RS-Flipflop

Thu, 10 Feb 2022 07:54:29 +0000

Hallo,

1. Die Schaltwerke liest man immer von Eingabe zu Ausgabe, was i.d.R. von links nach rechts ist. In der Lösungsskizze sieht man links t und E (Eingabe) dann in der Mitte die verschiedenen Gatter und am Ausgang (a) soll am Ende die 1 anliegen, wenn die entsprechende Aufgabenstellung erfüllt ist.

2. Mit dem "2k+1 Gatter" (exklusives Oder) liegt am Schaltwerk genau dann eine 1 an, wenn die Anzahl eingegebener 1en ungerade ist (was genau der Aufgabenstellung entspricht). Zusätzlich muss dann noch der Takt berücksichtigt werden.

Indirekte Adressierung

Tue, 08 Feb 2022 08:51:53 +0000

Hallo!

Ich frage mich, wie hier indirekt Adressiert werden muss.

Genauer gesagt, komme ich ab der Stelle nicht weiter, wo "store" als Sprungmarke steht. Ich habe bis dahin in R3=n^2 und soll das jetzt in R2 indirekt speichern.

Wie funktioniert das? Weil in R2 an der Stelle n^2 haben wir ja eigentlich keinen Wert.

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)

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.

Beantwortet: Bonusklausur 2022, Aufgabe zu BDD

Fri, 04 Feb 2022 08:10:53 +0000

Die Formel war glaube ich x or (y xor z)' (verbessere mich gerne, wenn ich falsch liege, ich habe die Bonusklausur leider nicht vor mir).

Die obere Formel ist falsch, da nicht für alle Kombinationen y und z das x egal ist. Z.B. y=1,z=0. Dann gilt mit x=1: f(x,y,z)=1 und f(x',y,z)=0. Das ist ein Widerspruch zu der Aussage.

Bei der unteren: mit x=1 gilt (unabhängig davon, was y und z sind) f(x,..,..)=1. Da hier nur der Existenzquantor ist, stimmt die gesamte Aussage (es muss für x=0 nicht gelten und gilt hier auch nicht).

Schlimmstenfalls musst du (wenn du es nicht durch hinsehen siehst oder ausprobieren) eine Wahrheitstafel daraus machen und die Aussagen dann Stück für Stück überprüfen.

Einen richtigen 'Trick' gibt es da nicht, Übung macht den Meister...

Und auch mit den anderen Formeln: Es ist definitiv sinnvoll, die gängigen Zeichen (und, oder, xor, not,...) zu kennen (inklusive deren Negation). Mir hat es geholfen, die Wahrheitstafeln im Kopf zu haben. Auch hier hilft vor allem üben, dann erkennt man die Dinge schneller. Und auch hier können Wahrheitstafeln helfen.

Falls noch etwas unklar ist, kannst du gerne noch einmal nachfragen oder in der Fragestunde fragen.

Viele Grüße
Anne (Tutorin)

Beantwortet: Beispiel zu ndet. KA

Thu, 03 Feb 2022 13:49:08 +0000

Hallo ueyfv,

dein vorgeschlagener Automat ist in der Tat nichtdeterministisch, da ein Lambda-Übergang im Startzustand möglich ist. Zu Beginn kann der Automat also theroretisch entweder in s0 bleiben oder in se wechseln.

Bei der Frage, ob der nichtdeterministische Kellerautomat das Wort aabb erkennt, musst Du Dir alle möglichen Übergänge anschauen. Falls eine Folge von Zustandsübergängen existiert, nach der der Kellerautomat nach Abarbeitung des Wortes im Endzustand landet, so ist er auch in der Lage, das Wort zu erkennen. Unabhängig davon, ob er am Anfang auch einen anderen Übergang wählen kann oder nicht.

Viele Grüße

Jannik (Tutor)

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?

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)

Beantwortet: NP-Vollständigkeit

Sat, 22 Jan 2022 15:24:33 +0000

Hallo,

Warum es NP ist, ist vermutlich klar, oder? Der zweite Teil ist hier vermutlich das Problem.

Ein Beispiel:

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: Zahlendarstehllung

Sat, 22 Jan 2022 14:46:35 +0000

Hallo,

6a) da hast du recht, dass ist etwas komisch. Ich glaube in der Lösung ist das eine Rundungsgeschichte. Aber auch ohne die 2^-23 am Ende wäre die Lösung hier richtig.

6b) hier wird auch gerundet. Im binären Fall wird ab 1 gerundet (wie im Dezimalfall ab 5) am Ende hat man dann 11001(1) -> 11010.

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: Schaltwerk

Fri, 21 Jan 2022 17:45:39 +0000

Hallo uqyws,

hier hilft es vermutlich am meisten, einfach verschiedene Aufgaben zu machen. Oft ist die Idee ähnlich, dann kommt man leichter rein.
Als nächstes kann man sich dann noch überlegen, wie man welchen Zustand erhalten kann, binäre Zustände sind oft sinnvoll. Und dann schaut man sich Stück für Stück die verschiedenen Möglichkeiten an.
Es soll bei e3 eine 1 anliegen, wenn die letzten vier Zeichen eine 1 waren, über die FlipFlops können wir die Anzahlen zählen.

1. genau, die kleinen Kreise sind Negationen

2. am Anfang eines Wortes oder wenn eine 0 kam, setzt man alle FlipFlops wieder auf 0 zurück, wir wollen ja nur Wörter akzeptieren, die auf 1111 Enden. Wenn wir im Zustand 001 sind und eine 1 einlesen, dann gehen wir direkt zum Zuständ 010, also nicht über 000

Falls du noch konkret Fragen hast, kann du gerne noch einmal Fragen, oder auch in der Fragestunde in ein paar Wochen nachfragen (oder dir die Aufzeichnung der Aufgabe ansehen)

Viele Grüße

Anne (Tutorin)

Beantwortet: Huffman-Codierung

Fri, 21 Jan 2022 17:26:54 +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)

Beantwortet: Turingmaschine

Fri, 21 Jan 2022 17:18:29 +0000

Hallo,

hier gehört zum Beispiel das Wort 101S101 oder 00S00 dazu, also links und rechts vom S steht das gleiche Wort.

Man arbeitet das Wort dann Stück für Stück ab, man schaut sich das linkeste nicht abgearbeitete Zeichen an in der linken Hälfte und prüft dann, ob das Zeichen in der rechten Hälfte das gleiche Zeichen ist. Die abgearbeiteten Zeichen werden hier mit K überschrieben

Ein gute Vorgehen ist hier immer, ein Beispiel Wort zu nehmen und dann zu schauen, wie man Vorgehen kann.

Viele Grüße

Anne (Tutorin)

Beantwortet: Zahlendarstellung

Fri, 21 Jan 2022 17:11:27 +0000

Hallo uqyws,

m_b ist um einen Platz nach rechts verschoben, da die Charakteristik um eines kleiner ist. Dann addiert man die die Mantissen (binär) und dann gibt es einen Überlauf um eines nach links. Daher wird die Charakteristik um eines erhöht, also zur 10000100. Wenn man die Zahlen in Dezimalzahlen umrechnet kann man es auch einfach sehen, man zieht einen höheren Exponenten raus.

Viele Grüße

Anne (Tutorin)

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