Was ist ein Alphabet (im Sinne der Berechenbarkeit)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Buchstabe/Symbol/Zeichen?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Wort?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist die Länge $|w|$ eines Wortes $w$ und was ist das leere Wort?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bezeichnet $\Sigma ^i$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bezeichnet $\Sigma ^*$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine lexikographische Ordnung?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie werden die Wörter aus $\Sigma^*$ bei einer quasi-lexikographischen Aufzählung sortiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bezeichnet $\Sigma ^+$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine formale Sprache?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Wortfunktion $f$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Entscheidungsproblem?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Wortproblem?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine deterministische Turingmaschine $M$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bedeutet der Befehl $\delta ((z,x))=(z',x',\lambda)$ bzw. in üblicher Schreibweise: $z,x\to z',x',\lambda$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist die Konfiguration einer DTM?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist die Anfangskonfiguration einer DTM?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Endkonfiguration einer DTM?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Folgekonfiguration?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Berechnung?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Berechnung unendlich, wann ist sie abbrechend?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist der Bandinhalt $\beta (K)$ einer Konfiguration $K=wzw'$?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Berechnung erfolgreich?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Welche Funktion wird (allgemein) von einer DTM $M=(Z,\Sigma , \delta ,z_a,z_e)$ berechnet?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Funktion $f:\Sigma ^*\to\Sigma ^*$ Turing-berechenbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
In welchem Verhältnis steht eine "klassische" Ein-Band-TM zu anderen Varianten der TM (z.B. Mehr-Band-TM, Zweidimensionale TM, TM mit einseitig undendlichem Band) in Hinblick auf ihre Berechnungskraft?
Welche Eigenschaften einer DTM ergeben sich daraus?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Woraus besteht eine Registermaschine?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Registermaschinenprogramm?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Welche elementaren Befehle/Berechnungen kann eine RM ausführen?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist die Konfiguration einer Registermaschine?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist die Konfiguration $K$ einer RM eine Endkonfiguration?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie sieht die Anfangskonfiguration einer RM zur Eingabe $x_1,x_2,\dots ,x_n \in \mathbb{N}$ aus?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Folgekonfiguration bei einer RM?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine erfolgreiche Berechnung?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Welche Funktion wird (allgemein) von einer RM $R$ berechnet?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
wann heißt eine Funktion $f:\mathbb{N}^n\to\mathbb{N}$ Register-berechenbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
In welchem Verhältnis stehen Turingmaschinen und Registermaschinen in Hinsicht auf ihre Berechnungskraft?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet die Church'sche These?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist ein Algorithmus?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Funktion berechenbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was muss man tun, um zu beweisen, dass eine Funktion berechenbar bzw. nicht berechenbar ist (nach Church)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie viele berechenbare und wie viele nicht berechenbare Funktionen gibt es?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Menge $A\subseteq\Sigma ^*$ (bzw. $A\subseteq \mathbb{N}$) entscheidbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie verhalten sich eine Menge $A$ und deren Komplement $\overline{A}$ in Bezug auf Entscheidbarkeit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie verhalten sich zwei Mengen und deren Durchschnitt/Vereinigung in Bezug auf Entscheidbarkeit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Seien $\Sigma_1$ und $\Sigma_2$ zwei Alphabete und $L_1 \subseteq \Sigma_1^*$, $L_2 \subseteq \Sigma_2^*$ zwei Sprachen (Entscheidungsprobleme).
Wann heißt $L_1$ auf $L_2$ reduzierbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was lässt sich aus $L_1 \leq L_2$ folgern?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine Gödelisierung (im allgemeinen)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie werden die einzelnen Zustandsübergänge als ganze Turingmaschine gespeichert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie wird ein einzelner Zustandsübergang/Befehl kodiert?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie kann man jedem Wort eine TM zuordnen?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet das spezielle Halteproblem?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist das allgemeine Halteproblem?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist das Halteproblem auf leerem Band?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet der Satz von Rice?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet das Korrektheitsproblem?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet das Post'sche Korrespondenzproblem?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet der Satz von Post?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie lautet der Satz von Church-Turing?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wann ist eine Menge $A$ semi-entscheidbar bzw. aufzählbar?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was ist eine alternative Möglichkeit Aufzählbarkeit/Semi-Entscheidbarkeit zu definieren (über charakteristische Funktion einer Menge)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie verhalten sich Durchschnitt bzw. Vereinigung zweier aufzählbarer Mengen $A$ und $B$ in Bezug auf Semi-Entscheidbarkeit/Aufzählbarkeit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Wie verhält sich das Komplement $\overline{A}$ einer aufzählbaren Menge $A$ in Bezug auf Aufzählbarkeit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Sei $A$ auf $B$ reduzierbar: $A\leq B$. Wie verhalten sich $A$ und $B$ in Bezug auf Aufzählbarkeit?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.
Was bedeutet es, wenn eine Menge $A$ und ihr Komplement $\overline{A}$ beide aufzählbar sind?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.