Scienza del computer nondeterminism

2

Qual è la differenza tra TM quantistica e TM non dedetermica?

Stavo attraversando la discussione sulla domanda Come definire le macchine quantistiche di Turing? e sento che la MT quantistica e la TM non etermica sono la stessa cosa. Le risposte all'altra domanda non toccano questo. Questi due modelli sono uguali? Se no, Quali sono le differenze tra Quantum TM e …

30 computability turing-machines quantum-computing nondeterminism

7

Differenze e relazioni tra algoritmi randomizzati e non deterministici?

Quali differenze e relazioni sono tra algoritmi randomizzati e algoritmi non deterministici? Da Wikipedia Un algoritmo randomizzato è un algoritmo che impiega un grado di casualità come parte della sua logica. L'algoritmo utilizza tipicamente bit uniformemente casuali come input ausiliario per guidarne il comportamento, nella speranza di ottenere buone prestazioni …

30 algorithms terminology computation-models nondeterminism randomness

3

Quali sono le condizioni affinché un NFA per il suo equivalente DFA abbia dimensioni massime?

Sappiamo che i DFA sono equivalenti ai NFA in termini di potere espressivo; esiste anche un algoritmo noto per convertire NFA in DFA (purtroppo ora conosco l'inventore di tale algoritmo), che nel peggiore dei casi ci dà stati, se il nostro NFA aveva stati2S2S2^SSSS La mia domanda è: cosa sta …

24 formal-languages automata regular-languages finite-automata nondeterminism

10

Perché il non determinismo è un concetto utile?

Un automa è un modello astratto di un computer digitale. I computer digitali sono completamente deterministici; il loro stato in qualsiasi momento è unicamente prevedibile dall'input e dallo stato iniziale. Quando stiamo cercando di modellare sistemi reali, perché includere il non determinismo nella teoria degli automi?

23 automata nondeterminism applied-theory

3

Come dimostrare che i DFA di NFA possono avere un numero esponenziale di stati?

Tutti gli automi finiti non deterministici possono essere trasformati in automi finiti deterministici equivalenti. Tuttavia, un automa finito deterministico consente solo una singola freccia per simbolo che punta da uno stato. Pertanto, i suoi stati dovrebbero essere membri del gruppo di potere degli stati della NFA. Ciò sembra indicare che …

20 automata finite-automata nondeterminism

4

Definizione del problema di arresto per automi non deterministici

La definizione principale di Turing machine (TM), almeno nel mio manuale di riferimento (Hopcroft + Ullman 1979) è deterministica. Quindi la mia comprensione del problema dell'arresto è principalmente per la TM deterministica, anche se sono consapevole che può essere considerata per altri tipi di automi. Ho anche notato che il …

18 turing-machines automata nondeterminism halting-problem linear-bounded-automata

1

Potere computazionale di automi deterministici rispetto a automi min heap non deterministici

Questa è una domanda di follow-up di questo . In una precedente domanda sulle macchine a stati esotici , Alex ten Brink e Raphael hanno affrontato le capacità computazionali di un tipo particolare di macchina a stati: automi min-heap. Sono stati in grado di dimostrare che l'insieme delle lingue accettate …

15 formal-languages automata nondeterminism

7

Perché NFA è chiamato non deterministico?

Ho in mente questa [specie di divertente]. Perché l' automa finito non deterministico è chiamato non deterministico mentre definiamo le transizioni per gli input. Bene, anche se ci sono transizioni multiple ed epsilon , sono definite, il che significa che la macchina è deterministica per quelle transizioni. Ciò significa che …

14 finite-automata nondeterminism

4

Push Down Automatons "indovina" - cosa significa?

Mi rendo conto che gli automi pushdown non deterministici possono essere un miglioramento rispetto a quelli deterministici in quanto possono "scegliere" tra diversi stati e ci sono alcune lingue senza contesto che non possono essere accettate da un pushdown deterministico. Tuttavia, non capisco come esattamente "scelgano". Per i palindormi, ad …

14 automata pushdown-automata nondeterminism

3

Perché la minimizzazione di NFA è un problema difficile quando la minimizzazione di DFA non lo è?

So che possiamo minimizzare i DFA trovando e fondendo stati equivalenti, ma perché non possiamo fare lo stesso con gli NFA? Non sto cercando una prova o qualcosa del genere - a meno che una prova sia più semplice da capire. Voglio solo capire intuitivamente perché la minimizzazione di NFA …

14 complexity-theory finite-automata nondeterminism

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

È obbligatorio definire le transizioni su ogni possibile alfabeto in Automi finiti deterministici?

Domani è la mia presentazione e voglio chiarire i miei concetti ... Ho letto che in DFA, "Per ogni stato, dovrebbe essere definita la transizione su tutti i possibili simboli (alfabeto)". Per ogni stato, definire la transizione su tutti i simboli possibili è obbligatorio in DFA? In caso contrario, ti …

13 automata finite-automata nondeterminism

7

Possiamo dire che DFA è più efficiente di NFA?

Ho appena iniziato a leggere sulla teoria del calcolo. Se confrontiamo quale è più potente (nell'accettare le stringhe), entrambi sono uguali. Ma che dire dell'efficienza? DFA sarà veloce rispetto a NFA, poiché ha un solo vantaggio in uscita e non ci sarà alcuna ambiguità. Ma nel caso di NFA dobbiamo …

13 finite-automata efficiency nondeterminism

3

In che modo un NFA utilizza le transizioni epsilon?

Nella foto qui sotto, sto cercando di capire cosa sta accettando esattamente questo NFA. Ciò che mi confonde è il salto a q 0 .εϵ\epsilonq0q0q_0 Se viene inserito uno , il sistema passa a q 0 e q 1 (lo stato di accettazione)?000q0q0q_0 q1q1q_1 Se viene inserito un , il …

12 automata finite-automata nondeterminism

4

Come funziona una macchina di Turing non deterministica?

Quali sono le differenze tra le macchine di Turing deterministiche e non deterministiche? Modelli diversi ma equivalenti di NDTM. In particolare, qual è questa frase frequentemente usata "indeterminatamente indovinare"? Come usarlo nel modo giusto ed esempi di utilizzo errato. Il mio obiettivo è creare una domanda di riferimento.

12 turing-machines nondeterminism

Domande taggate «nondeterminism»