Als «decidability» getaggte Fragen




1
Ist die Gleichwertigkeit eindeutiger kontextfreier Sprachen bestimmbar?
Es ist allgemein bekannt, dass das Äquivalenzproblem für allgemeine kontextfreie Sprachen nicht zu entscheiden ist. Alle Beweise für diese Tatsache, die mir bekannt sind, scheinen jedoch nicht eindeutige kontextfreie Grammatiken zu enthalten. Aus diesem Grund möchte ich fragen, ob bekannt ist, ob das Problem weiterhin unentscheidbar ist, während man sich …


2
Festlegen, ob eine unäre kontextsensitive Sprache regulär ist
Es ist ein bekanntes Ergebnis, dass die Frage Erzeugt eine kontextfreie Grammatik eine reguläre Sprache? ist unentscheidbar. Es wird jedoch auf einem unären Alphabet entscheidbar, einfach weil in diesem Fall die Klassen der kontextfreien und regulären Sprachen zusammenfallen. Meine Frage ist zu wissen, was bei unären kontextsensitiven Sprachen passiert . …

5
Welche bemerkenswerten Automatenmodelle haben einen polynomisch entscheidbaren Einschluss?
Ich versuche, ein bestimmtes Problem zu lösen, und dachte, ich könnte es mithilfe der Automatentheorie lösen. Ich frage mich, welche Automatenmodelle haben eine Einschließung, die in der Polynomzeit entscheidbar ist? dh wenn Sie Maschinen , können Sie testen, ob effizient ist.M1, M2M1,M2M_1, M_2L ( M1) ⊆ L ( M2)L(M1)⊆L(M2)L(M_1) \subseteq …

2
Ist es möglich, die
Ich weiß, dass es unmöglich ist, die Äquivalenz für einen nicht typisierten Lambda-Kalkül zu bestimmen . Zitat von Barendregt, HP Der Lambda-Kalkül: seine Syntax und Semantik. Nordholland, Amsterdam (1984). :ββ\beta Wenn A und B disjunkt sind, nicht leere Mengen von Lambda-Termen, die unter Gleichheit geschlossen sind, dann sind A und …

1
Was ist das einfachste Rechenmodell, für das das Problem der Leere nicht zu entscheiden ist?
Was ist das einfachste Rechenmodell, für das das Problem der Leere nicht zu entscheiden ist? Das Leerheitsproblem für ein Rechenmodell (z. B. Finite-State-Automat, alternierender Pushdown-Automat, Bounded-Error-Quantenautomat mit Zähler, deterministischer LBA usw.) besteht darin, zu bestimmen, ob für eine solche Maschine die von dieser Maschine erkannte / definierte Sprache vorliegt ist …




1
Gibt es einen Algorithmus, der die verbotenen Minderjährigen findet?
Das Robertson-Seymour-Theorem besagt, dass jede kleinere geschlossene Familie GG\mathcal G von Graphen durch endlich viele verbotene Minderjährige charakterisiert werden kann. Gibt es einen Algorithmus, der für einen Eingang GG\mathcal G die verbotenen Minderjährigen ausgibt, oder ist dies unentscheidbar? Offensichtlich könnte die Antwort davon abhängen, wie GG\mathcal G in der Eingabe …


2
Ist Meta-Unentscheidbarkeit möglich?
Es gibt Probleme, die entscheidbar sind, es gibt einige, die nicht entscheidbar sind, es gibt Halbentscheidbarkeit usw. In diesem Fall frage ich mich, ob ein Problem meta-unentscheidbar sein kann. Dies bedeutet (zumindest in meinem Kopf), dass wir nicht sagen können, ob es entscheidbar ist oder nicht. Vielleicht ist bekannt, dass …

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.