turing-machines

0Hitze

1Antwort

Welcher Formalismus gehört nicht und welche sind stärker/gleich

Ich habe diese Liste von Formalismen und ich muss sie nach ihrer Ausdruckskraft ordnen, auch einer von ihnen gehört nicht wirklich dazu. Context-free Grammar(CFG) Deterministic Finite Automata(DFA)

3Hitze

2Antwort

Gibt es rekursiv aufzählbare Probleme, die nicht RE-hart sind?

Die Berechenbarkeit Klasse, die ich nehme, erklärt mehrere Sprachen, die in RE sind - REC (rekursiv aufzählbar aber nicht rekursiv, das heißt auflösbar durch eine Turing-Maschine Nicht-Halten). Es zei

2Hitze

3Antwort

Wie können wir wissen, dass NP-vollständige Probleme am schwierigsten in NP sind?

Ich bekomme, dass, wenn Sie eine polynomische Zeitreduktion von "jedem" Problem machen können, dann beweist es, dass das Problem mindestens so schwer wie jedes Problem in NP ist. Außer, woher wissen w

18Hitze

2Antwort

Was sind die sechs grundlegenden Primitiven in Turing?

Ich höre die EdX-Lektion, und der Professor betont, dass jede Maschine, die in der Lage, diese sechs grundlegenden Primitiven durchzuführen, Turing Complete genannt werden kann. Aber was sind die sech

0Hitze

1Antwort

Was macht eine Turing-Maschine, wenn sie das Ende ihrer Eingabe erreicht?

Wenn eine Turing-Maschine beispielsweise über ein Eingangsband von 01011 verfügt, was passiert, wenn Sie das Ende dieser Sequenz erreichen, ohne eine Auflösung innerhalb der Turing Machine zu erreiche

0Hitze

1Antwort

Beweisen Sie, ob diese Sprache entscheidbar oder unentscheidbar ist

Also ich überprüfe meine Notizen für dieses Problem, und ich kann nicht scheinen zu verstehen, wie dieses Problem funktioniert. Sagen wir, wir haben M, und M akzeptiert eine Eingabe, die es ermöglicht

0Hitze

1Antwort

{<M> | M TM, die 3 Wörter akzeptieren} (| L (M) | = 3)

ich mit diesem Problem bin stecken {<M> | M ist ein TM, die 3 Wörter} Ich weiß übernimmt, wie |L(M)|>3 oder |L(M)|<3 zu lösen, aber wenn es um |L(M)|=3 kommt, weiß ich nicht, wie es weitergeht!

8Hitze

1Antwort

Bitte erläutern diesen Simulator Turing-Maschine in Prolog geschrieben

Die Wikipedia Prolog article umfasst diese Turing-Maschine-Simulator: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, L

-1Hitze

1Antwort

Wie verschiebe ich Daten in Turing-Maschine?

Beim Konvertieren einer Multitape-Turing-Maschine in eine äquivalente Single-Tape-Turing-Maschine müssen wir die Daten verschieben und eine Leerstelle einfügen. zB: Multitape = [1,2,3,4] [5,6,7,8] [9,

5Hitze

1Antwort

Was ist der Unterschied zwischen rekursiven und rekursiv aufzählbaren Sprachen

Ich frage mich, was der Unterschied zwischen rekursiven und rekursiv aufzählbaren Sprachen in Bezug auf Anhalten und Turing-Maschinen ist. Ich weiß, dass rekursiv aufzählbare Sprachen eine Untermenge