Domande taggate «computation-models»

La definizione dell'insieme di operazioni consentite utilizzate per il calcolo e i rispettivi costi. Alcuni esempi di modelli includono macchine di Turing, funzioni ricorsive, calcolo lambda e sistemi di produzione.

Il non determinismo in un turing machine non deterministico è diverso da quello degli automi finiti e degli automi push down?

Consenti una stringa di input come . Quindi se un NFA è attualmente nello stato (e ha letto l'input fino all'alfabeto ) quindi prima di leggere il simbolo di input successivo l'NFA si divide in due NFA, uno in stato e l'altro in , se c'è una transizione di il …

9 turing-machines finite-automata pushdown-automata computation-models nondeterminism

L'ordinamento dei numeri interi è possibile in O (n) nel modello transdicotomico?

Per quanto ne so, non esiste un algoritmo caso peggiore che risolva il seguente problema:O(n)O(n)O(n) Data una sequenza di lunghezza composta da numeri interi finiti, trova la permutazione in cui ogni elemento è minore o uguale al suo successore.nnn Ma c'è una prova che non esiste, nel modello di calcolo …

9 complexity-theory sorting computation-models lower-bounds

Esiste una chiara definizione di "calcolabile" per i modelli di calcolo che non sono completi?

Questo è il seguito di un'altra domanda qui , e spero che non sia troppo filosofico. Come ha sottolineato Raphael in un commento sulla mia domanda precedente, non capisco davvero la definizione di "calcolabile", ma secondo alcuni articoli che leggo, la definizione non è anche molto chiara quando si tratta …

9 computability computation-models

Computer analogici e tesi di Church-Turing

Vorrei citare da Nielsen & Chuang, Quantum Computation e Quantum Information, edizione del decimo anniversario, pagina 5 (sottolineatura mia): Una classe di sfide alla forte tesi Church-Turing proviene dal campo del calcolo analogico. Negli anni trascorsi da Turing, molti diversi team di ricercatori hanno notato che alcuni tipi di computer …

9 computation-models church-turing-thesis

Le macchine di Turing assumono qualcosa di infinito ad un certo punto?

In una domanda precedente Che cos'è esattamente un algoritmo? , Ho chiesto se avere un "algoritmo" che restituisce il valore di una funzione basata su una matrice di valori pre-calcolati fosse un algoritmo. Una delle risposte che ha attirato la mia attenzione è stata questa: L'esempio fattoriale entra in un …

9 turing-machines computation-models

Ho costruito un computer meccanico alimentato da marmi. Quali sono i suoi limiti teorici?

Negli ultimi due anni ho costruito un computer meccanico alimentato da marmi e ne ho ricavato un gioco. È simile al vecchio Digi-Comp II, ad eccezione di due differenze chiave: Le parti sono riposizionabili sulla scheda. Puoi collegare più 'bit' insieme usando gli ingranaggi. Quando uno di questi bit viene …

8 complexity-theory turing-machines computer-architecture computation-models

Perché le barre di avanzamento sono così imprecise? [chiuso]

Chiuso. Questa domanda è fuori tema . Al momento non accetta risposte. Vuoi migliorare questa domanda? Aggiorna la domanda in modo che sia sull'argomento per Computer Stack Stack Exchange. Chiuso 3 anni fa . Computer e linguaggi di programmazione tendono ad essere deterministici e prevedibili. Tuttavia, le barre di avanzamento …

8 computation-models

Circuiti logici combinatori e teoria del calcolo

Sto cercando di collegare i circuiti logici combinatori (solo computer basati su porte logiche) con tutto ciò che ho appreso di recente in Teoria del calcolo. Mi chiedevo se i circuiti logici combinatori possano implementare calcoli allo stesso modo delle macchine a stati finiti. Sembrano radicalmente diversi: Le macchine a …

8 complexity-theory turing-machines computation-models circuits

Formalismo simile a una macchina di Turing per The Actor Model

Le macchine di Turing hanno un alfabeto simbolico formale, una descrizione basata su regole di transizione e stato di come viene fatto un calcolo. Il modello di attore è talvolta menzionato come un modello computazionale più potente rispetto alle macchine di Turing (non in ciò che può calcolare, ma in …

8 terminology computability reference-request programming-languages computation-models

Spiegare questa definizione formale di calcolo

Sto provando ad attaccare ancora una volta TAOCP, data la pesantezza letterale dei volumi che ho difficoltà a impegnarmi seriamente. In TAOCP 1 Knuth scrive, pagina 8, concetti di base: Permettere AAAessere un insieme finito di lettere. Sia l'insieme di tutte le stringhe in (l'insieme di tutte le sequenze ordinate …

7 formal-languages turing-machines computation-models

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.