Inhaltsverzeichnis
Wann ist ein Wortproblem entscheidbar?
Jedes Entscheidungsproblem lässt sich als Wortproblem einer formalen Sprache codieren. Die Schwierigkeit des Wortproblems hängt von der zugrunde gelegten Klasse der Sprachen ab. Das Wortproblem für Typ-1-Sprachen ist entscheidbar. Der Zeitbedarf ist höchstens exponentiell, die Platzkomplexität ist exakt linear.
Ist jede endliche Menge Turing entscheidbar?
Alle endlichen Mengen, die Menge aller geraden Zahlen und die Menge aller Primzahlen sind entscheidbar.
Wann ist ein Sprache regulär?
Eine Sprache ist regulär, wenn: die Sprache von einer regulären Grammatik erzeugt wird; endliche Automaten sie akzeptieren; und die Sprache durch einen regulären Ausdruck dargestellt werden kann.
Ist die leere Sprache entscheidbar?
Die Entscheidbarkeit des Leerheitsproblems hängt von der Komplexität der zugrundeliegenden Grammatik ab: Für die Grammatiken vom Typ 2 oder höher in der Chomsky-Hierarchie ist das Leerheitsproblem entscheidbar, für die Grammatiken bis Typ 1 im Allgemeinen jedoch nicht.
Ist jede endliche Sprache regulär?
Endliche Sprachen sind regulär regulär ist. Man kann also sagen: Jede Sprache, die endlich viele Wörter enthält, ist regulär.
Ist jede Sprache rekursiv aufzählbar?
Alle rekursiven Sprachen sind deshalb auch rekursiv aufzählbar. Sie können somit auch als all die Sprachen definiert werden, deren Wörter sich durch eine beliebige formale Grammatik ableiten lassen. Eines der wichtigsten Probleme, das rekursiv aufzählbar ist, aber nicht rekursiv, ist das so genannte Halteproblem.
Ist das Halteproblem rekursiv aufzählbar?
Eines der wichtigsten Probleme, das rekursiv aufzählbar ist, aber nicht rekursiv, ist das so genannte Halteproblem. : die Menge der Codierungen all derjenigen Turingmaschinen, die auf ihrer eigenen Codierung als Eingabe nicht halten.
Ist eine Sprache L Entscheidbar so ist auch jede Teilmenge von L entscheidbar?
Für jede rekursiv aufzählbare Sprache L gilt, dass L = Σ∗ − L. Die Ei- genschaft eine Teilmenge von Σ∗ zu sein trifft auf alle rekursiv aufzählbaren Sprachen (wie auch ihr Komplement) zu, es handelt sich also um eine triviale Eigenschaft. d) Ist L entscheidbar, so ist jede Teilmenge von L entscheidbar.
Ist eine Sprache L entscheidbar so ist auch jede Teilmenge von L entscheidbar?