Domande taggate «undecidability»

Domande su problemi che non possono essere risolti da nessuna macchina Turing.

3
Come si può decidere se
Ci hanno dato il seguente esercizio. Permettere f( n ) = { 100n si verifica nella rappresentazione decimale di πaltrof(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Dimostra che è …
2
Perplesso dal teorema di Rice
Riepilogo: secondo il teorema di Rice, tutto è impossibile. Eppure, faccio queste cose apparentemente impossibili tutto il tempo! Naturalmente, il teorema di Rice non dice semplicemente "tutto è impossibile". Dice qualcosa di più specifico: "Ogni proprietà di un programma per computer non è calcolabile". (Se vuoi dividere i peli, ogni …
1
Teorema di Rice per proprietà non semantiche
Il teorema di Rice ci dice che le uniche proprietà semantiche delle Macchine di Turing (cioè le proprietà della funzione calcolata dalla macchina) che possiamo decidere sono le due proprietà banali (cioè sempre vere e sempre false). Ma ci sono altre proprietà delle macchine di Turing che non sono decidibili. …
7
Esiste una prova più intuitiva dell'indecidibilità del problema di arresto rispetto alla diagonalizzazione?
Comprendo la prova dell'indecidibilità del problema di arresto (fornita ad esempio nel libro di testo di Papadimitriou), basata sulla diagonalizzazione. Mentre la prova è convincente (capisco ogni passaggio di essa), non mi è intuitivo nel senso che non vedo come qualcuno la deriverebbe, a partire dal solo problema. Nel libro, …
2
Esistono problemi specifici noti per essere indecidibili per ragioni diverse dalla diagonalizzazione, dall'autoreferenzialità o dalla riducibilità?
Ogni problema indecidibile che conosco rientra in una delle seguenti categorie: Problemi indecidibili a causa della diagonalizzazione (autoreferenziazione indiretta). Questi problemi, come l'arresto del problema, sono indecidibili perché potresti usare un presunto decisore per il linguaggio per costruire una TM il cui comportamento porta a una contraddizione. Potresti anche raggruppare …
1
Quali sono i sistemi di tipo noto più forti per i quali l'inferenza è decidibile?
È risaputo che l'inferenza di tipo Hindley-Milner (il semplice -calculus con polimorfismo) ha un'inferenza di tipo decidibile: è possibile ricostruire i tipi di principio per qualsiasi programma senza alcuna annotazione.λλ\lambda L'aggiunta di caratteri tipografici in stile Haskell sembra preservare questa decidibilità, ma ulteriori aggiunte rendono indecidibile l'inferenza senza annotazioni (famiglie …
1
Rapporto di problemi decidibili
Considera i problemi di decisione dichiarati in un linguaggio formale "ragionevole". Diciamo formule nell'aritmetica di Peano di ordine superiore con una variabile libera come cornice di riferimento, ma sono ugualmente interessato ad altri modelli di calcolo: equazioni diottantine, problemi di parole derivanti dalla riscrittura delle regole usando le macchine di …
5
È possibile risolvere il problema di arresto se si dispone di un input vincolato o prevedibile?
Il problema dell'arresto non può essere risolto nel caso generale. È possibile elaborare regole definite che limitano gli input consentiti e il problema di arresto può essere risolto per quel caso speciale? Ad esempio, sembra probabile che un linguaggio che non consente i loop, per esempio, sarebbe molto facile dire …
1
Espressioni regolari con riferimenti indietro sull'alfabeto unario
Ambientazione: espressioni regolari con riferimenti secondari lingua unaria (alfabeto a 1 simbolo) È il seguente problema decidibile in questa impostazione: Data un'espressione regolare con riferimenti secondari, definisce una lingua regolare? Ad esempio, (aa+)\1definisce una lingua normale, mentre (aa+)\1+non lo fa. Possiamo decidere quale è il caso? Per concretezza, "espressioni regolari …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.