Domande taggate «halting-problem»

Domande relative al problema di Halting che consiste nel decidere se un determinato programma si arresta su un determinato input.

12
Perché, davvero, il problema di Halting è così importante?
Non capisco perché l' Halting Problem sia così spesso usato per respingere la possibilità di determinare se un programma si interrompe. Wikipedia [articolo] [1] spiega correttamente che una macchina deterministica con memoria finita arresterà o ripeterà uno stato precedente. È possibile utilizzare l'algoritmo che rileva se un elenco collegato esegue …
5
Esiste una relazione concreta tra il teorema di incompletezza di Gödel, il problema di arresto e le macchine universali di Turing?
Ho sempre pensato vagamente che la risposta alla domanda di cui sopra fosse affermativa secondo le seguenti linee. Il teorema di incompletezza di Gödel e l'indecidibilità del problema di arresto sono entrambi risultati negativi sulla decidibilità e stabiliti da argomenti diagonali (e negli anni '30), quindi devono in qualche modo …
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
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 
5
Il problema di Halting potrebbe essere "risolto" sfuggendo a una descrizione di livello superiore del calcolo?
Di recente ho sentito un'interessante analogia che afferma che la prova di Turing dell'indecidibilità del problema di arresto è molto simile al paradosso del barbiere di Russell. Quindi mi sono chiesto: i matematici alla fine sono riusciti a rendere coerente la teoria degli insiemi passando dalla formulazione ingenua del campo …
4
Un ambiente di runtime può rilevare un loop infinito?
Sarebbe possibile per un ambiente di runtime rilevare loop infiniti e successivamente arrestare il processo associato o implementare tale logica equivarrebbe a risolvere il problema di arresto? Ai fini di questa domanda, definisco un "ciclo infinito" per indicare una serie di istruzioni e dati stack / heap iniziali associati che, …
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.