Theoretische und technische Informatik - ganz praktisch - Letzte Aktivität in 2017 Bonusklausur

Beantwortet: VERSTANDNİS

Tue, 11 Jan 2022 08:55:49 +0000

Da die Turingmaschine nicht zählen kann, wie oft ein Zeichen vorkommt (wenn man nicht unendlich viele Zustände hat, was man nicht hat), dann wird das hier so gelöst. Es wird das erste a markiert (indem es in ein A umgeschrieben wird, die groß geschriebenen Sachen sind schon markiert/abgearbeitet). Dann wird nach einem unmarkierten b gesucht (das wird dann zu B) und dabei werden alle a's und B's einfach übersprungen (s1). Wurde es markiert, geht man wieder ganz nach links, bis zum nächsten unmarkierten a (s2) (das steht rechts vom letzten A). Dann geht es wieder von vorne los, bis alle markiert sind. Wenn kein a mehr da ist und auch kein b, dann geht es Richtung Endzustand (über s3 zum Zustand se, wenn ein * kommt)
Ein Beispiel, wie das Wort abgearbeitet wird

aaabbb -> Aaabbb ->AaaBbb ->AAaBbb->AAaBBb->AAABBB->AAABBB->AAABBB* und dann endet es im Endzustand.

Wenn in einer Zelle nichts steht, dann ist es nicht definiert und das Wort gehört nicht zur Sprache, also ist die Reihenfolge (erst a, dann b) wichtig.

Versuche am besten das Beispiel mit den Zustandsübergängen nachzuvollziehen.

Bei dieser Art von Aufgabe hilft es oft, kleine Beispiele aufzuschreiben, was wann passiert. Einfach die Wege durchgehen, bis man eine Idee hat und mit anderen Aufgaben üben. Oft sind die Ideen die gleichen, dann sieht man es schneller

Beantwortet: Super beantwortet!

Mon, 14 Oct 2019 10:27:02 +0000

Gerne! You're welcome!

Beantwortet: Suche ich mir grundsätzlich die Nullzeile heraus? ->also die KNF

Sun, 14 Jan 2018 18:09:17 +0000

Hallo,

das kommt ganz darauf an.

In der Tabelle 1 wird es einmal über die Einser (für q_0, es gibt hier nur zwei Einträge mit Einsen) gemacht und einmal über die Nuller (für q_1, es gibt in dieser Spalte nur zwei Nuller).

Welche Herangehensweise man nun wählt hängt davon ab, was sich besser darstellen lässt. Prinzipiell geht natürlich beides.

Viele Grüße

Alex (Tutor)

Beantwortet: Oder Gatter am Ende

Sun, 14 Jan 2018 09:38:50 +0000

Hallo,

es geht nach dem selben Prinzip, wie auch die Formeln aus der Tabelle 1 abgelesen werden.

Hier wird also "nach Nullen aus der Tabelle" abgelesen. Daraus ergibt sich

a = ¬q_0 v q_1

dies wird dann entsprechend abgebildet und liefert auch alle Ergebnisse der Tabelle 2.

Gruß

Alex (Tutor)

Beantwortet: Verbindungen der unteren Hälfte

Thu, 11 Jan 2018 09:50:43 +0000

Hallo,

Zum ersten Teil: die beiden unteren UND-Gatter besitzen ja zwei Eingänge. Der eine Eingang ist mit der Eingabe verbunden, der zweite mit den beiden UND-Gattern mit den Rückführungen von q1 und q0.

Das Problem hier ist, dass du nicht einfach die Rückführungen q0,q1 als direkte Eingänge hast, sondern diese "vorbearbeitet" durch die UND-Gatter sind. D.h. du musst eine Darstellung finden, die mit diesen UND-Gattern arbeitet.

Hier kommt nun der kleine Trick zum Tragen:

allgemein gilt: (a v b) ⇔ ¬ (¬a ^ ¬b) ⇔ ¬a NAND ¬b (Also einfach doppelt negiert)

Das kannst du auch auf die beiden ODER aus q1 anwenden, dann erhälst du:

q1 = (e ^ (¬ (¬q0 ^ ¬q1))) v (¬e ^(¬ (q0 ^ q1)))

Damit hast du dann mit den unterstichenen Teilen die Eingänge, die mit den UND-Gattern verbunden sind, dargestellt. e bzw ¬e kann dann jeweils für den zweiten Eingang definiert werden.

Zu Teil zwei:

Hier wird die Tabelle umgesetzt, die zu Beginn berechnet werden soll

te. Diese gibt an, bei welchen Belegungen von q0,q1 die Ausgabe 0 oder 1 ist. Alle Fälle ergeben hier 1 bis auf q0= 1 und q1= 0. Dies wird mit dem ODER-Gatter

erzielt. (Gatter leitet bei allen Fällen bis auf diesen.) Damit werden übrigens alle Endzustände von dem EA realisiert.

Ich hoffe ich konnte dir helfen!

Viele Grüße,

Timon (Tutor)

Beantwortet: bonus punkt

Fri, 24 Feb 2017 19:48:32 +0000

Ganz ehrlich, ich helfe Ihnen ja gerne - aber was soll ich denn machen, wenn Sie anonym schreiben und keine persönlichen Angaben mitposten?

Das Forum ist für solche Anfragen auch nicht der richtige Ort, schreiben Sie uns doch am besten eine Email!

Kommentiert: Bonusklausur 2017: Aufgabe 3 Boolescher Term

Mon, 13 Feb 2017 14:58:03 +0000

Ich würde einen Kompromiss vorschlagen: Bis morgen für die Klausur merken Sie es sich einfach so, denn bis dahin ist keine Zeit, das gründlich zu begreifen. Aber bitte schauen Sie sich die DeMorgan-Regeln und die grundlegenden logischen Operationen (wie man Wahrheitstabellen in Boolesche Terme umsetzt usw.) BITTE nach der Klausurenphase nochmal genauer an. Ich kann Ihnen da auch Material besorgen. Das kostet Sie einen Nachmittag, aber Sie lernen etwas, das Sie immer wieder brauchen werden, nicht nur im Studium!

Beantwortet: Bitte Umformungsschrittvon q1 erklären

Thu, 09 Feb 2017 14:28:25 +0000

Hallo uxebx!

Das ausmultiplizieren sollte ja klar verständlich sein.

(e und ¬e) oder (e und q0*) oder (e und q1*) oder (¬q0* und ¬e) oder (¬q0* und qo*) ......

im ersten Schritt zum Vereinfachen werden dann alle nicht erfüllbaren Klammern gestrichen. (e und ¬e).

Im nächsten Schritt wird e bzw. ¬e ausgeklammert, dann bleibt noch übrig

(¬e und (qo* oder q1*)) oder (e und (¬q0* oder ¬q1*)) oder (q0* und ¬q1*) oder (q1* und ¬q0*).

Die letzten beiden Klammern kann man durch geschicktes hinsehen auch weglassen, weil immer eine der ersten beiden Klammern erfüllt ist, wenn Klammer 3 oder 4 erfüllt ist.

Grüße, Felix (Tutor)

Hier noch ein schönes Bild.

Kommentiert: Alternativlösung?

Tue, 31 Jan 2017 20:53:30 +0000

Da habe ich mich wirklich vertan, tut mir leid. Deine Lösung ist auch richtig.

Erneut kategoriesiert: Bonusklausur 2017 Aufgabe 3

Tue, 24 Jan 2017 15:09:00 +0000

Hallo,

könnte mir jemand erklären, wie man ausgehend von den Tabellen die Eingänge der Gatter zeichnen kann. Ich verstehe, wie man auf die Werte der Tabelle kommt, allerdings ist mir unklar, wie ich daraus schließen soll, wie die Eingänge aussehen. Muss ich dafür eine Boolesche Funktion aufstellen?

Vielen Dank.