Als «computability» getaggte Fragen

Berechenbarkeitstheorie alias Rekursionstheorie.

4
Warum sind linear begrenzte Automaten nicht so beliebt wie andere Automaten?
Nach meiner Erfahrung werden kontextsensitive Sprachen und linear begrenzte Automaten in Kursen zur Berechenbarkeitstheorie häufig übersprungen oder übersprungen und sogar in einigen bemerkenswerten Lehrbüchern weggelassen, obwohl endliche und Pushdown-Automaten viel Aufmerksamkeit erhalten. Sicherlich muss es einen guten Grund geben, warum LBAs weniger fokussiert werden als ihre Kollegen?
1
Ist es entscheidend, zwei SO-Horn-Abfragen auf Äquivalenz zu testen?
Aus dem Satz von Rice folgt, dass Sie nicht bestimmen können, ob zwei Turing-Maschinen dieselbe Sprache entscheiden oder nicht. Meine Frage lautet: Gilt dies auch für beschreibende Komplexitätseinstellungen, insbesondere wenn zwei SO-Horn-Abfragen getestet werden sollen, um festzustellen, ob sie dieselbe Sprache beschreiben? Mir ist keine beschreibende Komplexitätsversion von Rices Theorem …
4
Unmöglichkeit in Berechenbarkeit und Komplexität: immer letztendlich aufgrund diagonaler Argumente?
Wenn wir in der Berechenbarkeit beweisen wollen, dass ein Problem nicht rekursiv oder nicht rekursiv aufzählbar ist, können wir z. B. Reduktionen aus anderen nicht rekursiven oder nicht re-Problemen, dem Riceschen Theorem, dem Rice-Shapiro-Theorem usw. verwenden. Diese Techniken funktionieren dank oder basieren direkt auf der Existenz eines diagonalen Arguments (dh …
4
Gibt es eine Verallgemeinerung des GO-Spiels, von dem bekannt ist, dass es Turing vollständig ist?
Gibt es eine Verallgemeinerung des GO-Spiels, von dem bekannt ist, dass es Turing vollständig ist? Wenn nein, haben Sie einige Vorschläge zu vernünftigen (Verallgemeinerungs-) Regeln, mit denen versucht werden kann, zu beweisen, dass Turing vollständig ist? Das Offensichtliche ist, dass das Spiel auf einem unendlichen Brett (positiver Quadrant) gespielt werden …
2
Einfach ausgedrückt Einschränkung der imperativen Programmiersprache, die die elementaren Funktionen erfasst?
Die Sprache der whileProgramme kann die rechnerisch aufzählbaren Funktionen ausdrücken. (Dies gilt auch dann, wenn die einzigen arithmetischen Operationen für Variablen beispielsweise Inkrementierung und Dekrementierung sind.) Wenn whiledurch ersetzt wird forund Schleifen immer begrenzt werden, kann die Sprache nur die primitiven rekursiven Funktionen ausdrücken. Vor kurzem wurde mir die Klasse …
2
Gibt es irgendwelche Arbeiten zur Entwicklung der Differenzrechnung von Turingmaschinen (oder einfacheren formalen Sprachen)?
Ich versuche, einige Begriffe einer Differenzrechnung zwischen einer von einem Entwickler konzipierten fiktiven Ideal Turing-Maschine (z. B. was auch immer von einem Softwareentwickler beabsichtigt ist), und den Maschinen zu entwickeln, die die Software darstellen, die tatsächlich entworfen wird, und implementiert, sagen wir M α bzw. M β .M.ichMIM_IM.αMαM_\alphaM.βMβM_\beta Insbesondere ist …
2
Verwendung negativer Ergebnisse zum Nachweis positiver Ergebnisse in der Berechenbarkeitstheorie
Viele Ergebnisse in der Kryptographie hängen von Unmöglichkeitsergebnissen / Vermutungen in der Komplexitätstheorie ab. Beispielsweise wird angenommen, dass die Kryptographie mit öffentlichem Schlüssel unter Verwendung von RSA aufgrund der Vermutung über die Unmöglichkeit des Factorings (und der modularen Root-Finding-Probleme) möglich ist. Meine Frage ist : Haben wir ähnliche Ergebnisse in …
3
Wiederholtes Quine-Programm
Ein Quine ist ein Computerprogramm, das als einzige Ausgabe eine Kopie seines eigenen Quellcodes erstellt. Gibt es ein Quine-Programm, das sich n-mal ausdrucken könnte, wobei n auf irgendeine Weise im Programm angegeben ist?
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.