Scienza del computer simulation

3

Come mostrare due modelli di calcolo sono equivalenti?

Sto cercando una spiegazione su come si possa dimostrare che due modelli di calcolo sono equivalenti. Ho letto libri sull'argomento, tranne per il fatto che le prove di equivalenza sono state omesse. Ho un'idea di base su cosa significhi che due modelli di calcolo siano equivalenti (la vista degli automi: …

21 proof-techniques computation-models simulation

1

Come posso convertire la macchina di Turing che riconosce la lingua

Secondo questo articolo di Wikipedia , le grammatiche senza restrizioni sono equivalenti alle macchine di Turing. L'articolo osserva che posso convertire qualsiasi macchina Turing in una grammatica senza restrizioni, ma mostra solo come convertire una grammatica in una macchina Turing. Come posso effettivamente farlo e convertire la macchina di Turing …

19 formal-grammars turing-machines simulation

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

4

Ogni algoritmo a tempo lineare è un algoritmo di streaming?

A questa domanda sul conteggio delle inversioni , ho trovato un documento che dimostra un limite inferiore alla complessità dello spazio per tutti gli algoritmi di streaming (esatti) . Ho affermato che questo limite si estende a tutti gli algoritmi del tempo lineare. Questo è un po 'audace come in …

14 algorithms streaming-algorithm simulation lower-bounds

3

Come creare DFA dall'espressione regolare senza utilizzare NFA?

L'obiettivo è quello di creare DFA da un'espressione regolare e l'utilizzo di "Exp regolare> NFA> Conversione DFA" non è un'opzione. Come si dovrebbe fare per farlo? Ho fatto questa domanda al nostro professore ma mi ha detto che possiamo usare l'intuizione e gentilmente rifiutato di fornire qualsiasi spiegazione. Quindi volevo …

12 automata finite-automata regular-expressions simulation

1

Come mappare i nastri di una Turing Machine “k-tape” nel singolo nastro di una Turing Machine “1-tape”

Sto leggendo Sipser e trovo difficile capire quale sia il processo in modo tale che se mi dai k macchine Turing con k nastri, posso sputare una macchina Turing equivalente con un solo nastro. Un esempio sarebbe carino. In realtà, un esempio elaborato che mostra come passare da TM che …

11 turing-machines simulation

2

1 / r forza attrattiva per automa cellulare

Esiste un automa cellulare (in 2D) che simula una forza tra le particelle?1 / r1/r1/r Più specificamente, vorrei sapere se è possibile, con regole di aggiornamento strettamente locali, che due oggetti (definiti all'interno del modello) si attraggano l'un l'altro con una forza , dove è la distanza che separa gli …

11 simulation cellular-automata

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

Come può una macchina di Turing universale simulare quelle "più grandi"?

Sto cercando di trovare le risposte a due domande sulla Universal Turing machine. In che modo la macchina Universal Turing può simulare una macchina Turing se quella che viene simulata ha un numero maggiore di stati? Come può la macchina Universal Turing simulare una macchina Turing se quella che viene …

10 computability turing-machines simulation turing-completeness

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

Converti CFG in PDA

Esiste un insieme di regole o metodi per convertire qualsiasi grammatica libera dal contesto in automi push down? Ho già trovato delle diapositive online ma non sono riuscito a capirle. Nella diapositiva 10 parla di alcune regole che qualcuno potrebbe spiegare?

9 context-free formal-grammars pushdown-automata simulation

2

Macchina di Turing alfabeto infinito

Una macchina di Turing a cui è consentito leggere e scrivere simboli da un alfabeto infinito è più potente di una normale TM (questa è l'unica differenza, la macchina ha ancora un numero finito di stati)? L'intuizione non mi dice, dal momento che hai bisogno di un numero infinito di …

9 computability turing-machines reductions simulation

3

Perché usare

È noto che le logiche temporali LTL, CTL, CTL * possono essere tradotte / incorporate in μμ\mu-calcolo. In altre parole, il (modale)μμ\mu-calculus sottrae queste logiche, (cioè è più espressivo.) Potresti spiegare / indicarmi documenti / libri che trattano questo argomento. In particolare, ci sono proprietà concrete di equità, vivacità, ecc. …

9 logic simulation linear-temporal-logic mu-calculus computation-tree-logic

1

Church-Turing e PDE fisiche

Quando leggo della tesi di Church-Turing sembra essere un'affermazione comune che "la realtà fisica è calcolabile di Turing". Qual è la base per questa affermazione? Ci sono risultati teorici su questa linea? Per il contesto, sono un ricercatore che lavora su simulazioni fisiche, quindi ovviamente sono consapevole che molte equazioni …

8 computability simulation church-turing-thesis hypercomputation

1

Complessità temporale delle simulazioni della macchina di Turing universale e teorema della gerarchia temporale

Ho un piccolo problema a comprendere la dimostrazione del Teorema della Gerarchia del Tempo (Hennie e Stearns, 1966) che garantisce l'esistenza di una lingua accettabile in ma non accettabile in per qualsiasi funzione , tale che è costruibile nel tempo eU(n)U(n)U(n)T(n)T(n)T(n)T(n),U(n)T(n),U(n)T(n),U(n)U(n)U(n)U(n) n≤T(n)=o(U(n)logT(n)).n≤T(n)=o(U(n)log⁡T(n)).n \leq T(n) = o\left(\frac{U(n)}{\log T(n)}\right). Questa dimostrazione si …

8 complexity-theory turing-machines simulation

Domande taggate «simulation»