Scienza del computer machine-models

5

Differenza tra una macchina turing e una macchina a stati finiti?

Sto facendo una presentazione sulle macchine Turing e volevo fornire alcune informazioni sulle FSM prima di presentare le macchine Turing. Il problema è che davvero non so cosa sia MOLTO diverso l'uno dall'altro. Ecco cosa so che è diverso: L'FSM ha stati sequenziali a seconda della condizione corrispondente soddisfatta mentre …

27 terminology turing-machines finite-automata machine-models

1

Simulazione universale delle macchine di Turing

Sia fff una funzione fissa costruibile nel tempo. Il classico risultato di simulazione universale per TM (Hennie e Stearns, 1966) afferma che esiste una TM a due nastri tale cheUUU la descrizione di una TM e⟨M⟩⟨M⟩\langle M \rangle una stringa di input ,xxx corre per passi e restituisce la risposta …

16 complexity-theory reference-request turing-machines machine-models simulation

2

Classificazione di algoritmi randomizzati

Da Wikipedia sugli algoritmi randomizzati Bisogna distinguere tra algoritmi che usano l'input casuale per ridurre il tempo di esecuzione previsto o l'utilizzo della memoria, ma terminano sempre con un risultato corretto in un lasso di tempo limitato e algoritmi probabilistici che, a seconda dell'input casuale, hanno una possibilità di produrre …

14 algorithms terminology randomized-algorithms nondeterminism machine-models

3

Esiste una macchina astratta in grado di catturare il consumo energetico?

Quando si riporta la complessità algoritmica di un algoritmo, si presume che i calcoli sottostanti vengano eseguiti su una macchina astratta (ad esempio RAM) che si avvicina a una CPU moderna. Tali modelli ci consentono di segnalare la complessità temporale e spaziale degli algoritmi. Ora, con la diffusione delle GPGPU …

13 complexity-theory computer-architecture power-consumption machine-models

1

Inferenza dei tipi di perfezionamento

Al lavoro mi è stato assegnato il compito di dedurre alcune informazioni sul tipo di un linguaggio dinamico. Riscrivo sequenze di affermazioni in letespressioni nidificate , in questo modo: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Dimostra che una funzione booleana calcolabile in T (n) da una macchina RAM è in DTIME (T (n) ^ 2)

La domanda è l'esercizio 1.9 del libro Compora complessità computazionale di Arora-Barak : un approccio moderno : Definire una macchina di Turing RAM come macchina di Turing con memoria ad accesso casuale. Formalizziamo questo come segue: La macchina ha un array infinito A che è inizializzato su tutti gli spazi. …

10 complexity-theory turing-machines machine-models simulation

1

Espressività delle moderne espressioni regolari

Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …

9 formal-languages machine-models logic boolean-algebra xor cryptography algorithms machine-learning algorithms paging virtual-memory programming-languages object-oriented algorithms search-algorithms strings binary-search formal-grammars context-free algorithms algorithms correctness-proof greedy-algorithms permutations logic first-order-logic logic-programming algorithms complexity-theory computability programming-languages complexity-theory complexity-classes quantum-computing reductions formal-languages programming-languages semantics operational-semantics small-step-semantics sets first-order-logic computer-networks communication-protocols

2

Quale modello parallelo teorico è il più vicino a CUDA?

Quale modello parallelo teorico è il più vicino al modello di programmazione CUDA / OpenCL? Ad esempio, si adatta in una certa misura al modello generico di macchina ad accesso casuale parallelo (PRAM). Tuttavia, questo è troppo generico, poiché crea l'astrazione di varie latenze di accesso alla memoria e problemi …

8 parallel-computing machine-models

Domande taggate «machine-models»