Zeige Beiträge 1 bis 15 von 15 Treffern |
|
Thema: Halteproblem |
|
Hallo Karlito,
die leere Sprache ist ein Element der entscheidbaren Sprachen. Aber warum muss ich hier nicht zeigen, dass HP nicht rekursiv, aber rekursiv-aufzählbar ist?
LG,
Informatikerin12
|
|
Thema: Halteproblem |
|
Hallo :-)
Ist die folgende Aussage korrekt?
Es gibt eine reguläre Sprache L, sodass HP\L Element aus REC.
Die Lösung lautet:
Ja. L=Sigma* ist eine reguläre Sprache. Es gilt HP\L=leere Menge Element aus REG, daher gilt insbesondere HP\L Element aus REC.
Ich verstehe nicht, wie man jetzt von "HP\L=leere Menge Element aus REG" darauf kommt, dass HP nicht rekursiv bzw. entscheidbar ist. Darf man das einfach so schlussfolgern?
LG,
Informatikerin12
|
|
Thema: Kontextfrei |
|
Danke sehr. Ich habe es endlich verstanden :-)
|
|
Thema: Kontextfrei |
|
Hallo! :-)
Ich habe eine nicht-kontextfreie Sprache L1 und eine kontextfreie Sprache L2. Ist der Schnitt von L1 und L2 kontextfrei?
Wenn man zwei kontextfreie Sprachen hat, ist der Schnitt nicht-kontextfrei, aber was ist hier der Fall?
|
|
Thema: Automat rekonstruieren |
|
Dann verstehe ich die 1. Zeile auch nicht. Wenn zum Beispiel Z_0^(n+1) von X_0=0 abhängig ist, dann kann sie doch nicht 1 sein. Da müsste dann eine 0 stehen.
|
|
Thema: Automat rekonstruieren |
|
Dann verstehe ich aber bei dir die 3. Zeile nicht. Wenn Z_1^(n) und Z_0^(n) = 0 sind, dann darf doch laut Ansteuerungsgleichung X_0 nicht 0 sein, sondern eine 1. Oder habe ich jetzt einen Denkfehler?
|
|
Thema: Automat rekonstruieren |
|
Hallo :-)
könnte jemand vielleicht ein Auge drauf werfen, ob meine Zustandsübergangstabelle so richtig ist? Vielen Dank im Voraus! :-)
|
|
Thema: 2-Band-Turingmaschine |
|
Kann mir bitte jemand helfen? Ich zerbreche mir schon seit Tagen den Kopf und kriege es nicht gebacken die Aufgabe zu lösen
|
|
Thema: 2-Band-Turingmaschine |
|
Hallo! :-)
In der Aufgabe ist eine 2-Band-Turing-Maschine gegeben und ich muss herausfinden, wie die von M akzeptierte Sprache lautet. Die Lösung hierfür habe ich:
L(M) = {xwx | x Element Sigma, w Element Sigma*} vereinigt mit Sigma.
Wie komme ich auf diese Lösung? Kann mir jemand helfen? Stehe gerade total auf'm Schlauch
P.S.: Ich finde hier keinen Formeleditor, daher sieht die Lösung nicht optimal aus
|
|
Thema: Automat rekonstruieren - Mealy/Moore |
|
Genau, so habe ich es auch gemacht und habe die Automaten verwechselt
Ist schon sehr zeitaufwändig für eine kleinen Aufgabenteil
Vielen lieben Dank für die Lösung!
|
|
Thema: Automat rekonstruieren - Mealy/Moore |
|
Vielen Dank eulerscheZahl
Ich glaube, die Aufgabensteller haben es vergessen zu schreiben. Es müsste sich um die Eingabe handeln.
Ich habe nun eine Zustandsübergangstabelle aufgestellt und den Automaten gezeichnet. Es handelt sich um den Mealy Automaten, wenn ich nicht völlig verkehrt liege.
Gibt es eigentlich einen schnelleren Weg den zu zeichnen? Es hat ewig gedauert bis ich fertig war und in der Klausur hat man leider nicht so lange Zeit
|
|
Thema: Automat rekonstruieren - Mealy/Moore |
|
Meine Frage:
Hallo liebe Community :-)
Ich habe in der Aufgabenstellung 2 KV-Diagramme gegeben und muss im ersten Aufgabenteil die KMFen zu diesen bestimmen. Anschließend sollten die Koppelterme, die aus der Verschmelzung der beiden KV-Diagramme entstanden sind, in der KMF angegeben werden. Bis dahin gab es keine Probleme, doch beim nächsten Aufgabenteil ist eine Schaltfunktion für das Ausgabebit y_0 mit y_0 = Z_1 not(Z_0) + Z_1 Z_0 gegeben und es soll mit dem gegebenen KV-Diagramm zusammen ein entsprechender Graph gezeichnet bzw. ein Automat rekonstruiert werden. Ich weiß nicht, wie ich vorgehen soll, kann mir bitte jemand einen Tipp geben?
Viele Grüße
Meine Ideen:
Ich habe versucht eine Zustandsübergangstabelle aufzustellen, aber dies erschien mir nicht so sinnvoll.
|
|
|
Zeige Beiträge 1 bis 15 von 15 Treffern |
|
|
|