Domande taggate «computability»

Domande relative alla teoria della calcolabilità, alias teoria della ricorsione

2
Quali sono i programmi molto brevi con stato di arresto sconosciuto?
Questo programma a 579 bit nel calcolo binario Lambda ha uno stato di arresto sconosciuto: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Cioè, non è noto se questo programma termina o meno. Per determinarlo, devi risolvere la congettura di Collatz - o, almeno, per tutti i numeri fino a …
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, …
4
Cosa intendeva Turing quando affermava che "le macchine non possono suscitare sorprese" è dovuto a un errore?
Vuoi migliorare questo post? Fornisci risposte dettagliate a questa domanda, comprese le citazioni e una spiegazione del perché la tua risposta è corretta. Le risposte senza dettagli sufficienti possono essere modificate o eliminate. Ho incontrato di seguito la dichiarazione di Alan M. Turing qui : "L'idea che le macchine non …
2
Perché le funzioni totali non sono enumerabili?
Abbiamo imparato il concetto di enumerazioni di funzioni. In pratica, corrispondono ai linguaggi di programmazione. In un'osservazione passeggera, il professore ha affermato che la classe di tutte le funzioni totali (ovvero le funzioni che terminano sempre per ogni input) non è enumerabile. Ciò significherebbe che non possiamo escogitare un linguaggio …
6
Esistono programmi in grado di "tradurre" il codice sorgente tra due lingue?
Esistono programmi in grado di "tradurre" il codice sorgente tra due lingue (supponendo che il traduttore abbia accesso alle librerie necessarie)? In caso affermativo, come funzionano (tecniche utilizzate, conoscenze richieste, ecc.)? Come sarebbero fattibili? In caso contrario, quali sono le restrizioni che impediscono il loro sviluppo? È un problema completo …
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 …
2
Perché il tipo di vuoto di C non è analogo al tipo vuoto / inferiore?
Wikipedia e altre fonti che ho trovato elencano il voidtipo C come un tipo di unità anziché un tipo vuoto. Lo trovo confuso in quanto mi sembra che si voidadatti meglio alla definizione di un tipo vuoto / inferiore. voidPer quanto ne so, non abitano valori . Una funzione con …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
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.