Scienza del computer nondeterminism

1

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

3

Come posso verificare che un DFA sia equivalente a un NFA?

Sto imparando come convertire NFA in DFA e voglio assicurarmi di farlo nel modo giusto. Ovviamente, tornare nella direzione opposta non è una cosa. Qualcuno conosce un algoritmo per verificare che un DFA sia equivalente a un NFA?

10 automata finite-automata proof-techniques nondeterminism

1

Perché questa funzione è calcolabile in

Mio libro di testo dice: "Definiamo la funzione f:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N} come segue: ed . Si noti che dato , abbiamo può facilmente trovare in tempo il numero tale che è inserita tra e ."f ( i + 1 ) = 2 f ( i ) 1.2 n O ( n …

10 complexity-theory algorithm-analysis nondeterminism

1

Automi finiti non deterministici | Esempio Sipser 1.16

Sto lavorando attraverso il Sipser Book (2a edizione) e mi sono imbattuto in questo esempio, che non capisco. Nel libro si afferma che questo NFA accetta la stringa vuota, ϵϵ\epsilon . Qualcuno potrebbe farmi capire perché questo è il caso? La mia comprensione è che ϵϵ\epsilon passerà a q3q3q_3 che …

9 regular-languages finite-automata nondeterminism

1

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

4

Parole che hanno lo stesso prodotto associativo destro e sinistro

Ho iniziato a studiare automi non deterministici usando il libro di Hopcroft e Ullman . Sono bloccato in un problema che ho trovato molto interessante: Fornire un automa finito non deterministico accettando tutte le stringhe che hanno lo stesso valore quando valutate da sinistra a destra come da destra a …

9 formal-languages automata regular-languages finite-automata nondeterminism

1

La prova errata della chiusura sotto l'operazione a stella che utilizza NFA comporta che l'NFA riconosce le stringhe indesiderate?

Attualmente sto leggendo il libro Introduzione alla teoria della computazione (2a o 3a edizione) di Michael Sipser , e sono incappato in una domanda nel capitolo 1 - Lingue regolari , vale a dire quando l'autore presenta l'idea di prova del teorema 1.49 - "La classe delle lingue normali è …

8 regular-languages automata finite-automata nondeterminism

1

I DCFL sono chiusi per inversione?

Secondo questo grafico , i DCFL sono chiusi per inversione. Tuttavia, non sono convinto come la prova intuitiva (invertendo le frecce della macchina a controllo dello stato finito e cambiando spinta e pop) per questo sembra dipendere dal non determinismo nella scelta della transizione nulla da prendere dallo stato iniziale …

8 formal-languages context-free closure-properties pushdown-automata nondeterminism

2

Contando il numero di parole accettate da un NFA aciclico

Sia un aciclico NFA.MMM Poiché è aciclico, è finito.MMML(M)L(M)L(M) Possiamo calcolarein tempo polinomiale?|L(M)||L(M)||L(M)| In caso contrario, possiamo approssimarlo? Si noti che il numero di parole non è uguale al numero di percorsi accettabili in , che è facilmente calcolabile.MMM Vorrei menzionare un approccio ovvio che non funziona: convertire l'NFA in …

8 formal-languages automata finite-automata nondeterminism counting

3

Perché la maggior parte degli scienziati ritiene che P ≠ NP?

Ho letto che la maggior parte degli scienziati non crede che P = NP. Potrebbe essere soggettivo ma puoi semplificare perché no? Non sono abbastanza informato per avere un'opinione, ma mi piacerebbe conoscere le definizioni e alcune spiegazioni "piuttosto semplici" perché credere all'uno o all'altro caso, ad esempio perché anche …

8 nondeterminism polynomial-time

1

Carta con la prova che

Queste diapositive illustrano una provaL={anbn∣n≥0}∪{anb2n∣n≥0}L={anbn∣n≥0}∪{anb2n∣n≥0}L=\{ a^n b^n \mid n \geq 0 \} \cup \{ a^n b^{2n} \mid n \geq 0 \} non può essere accettato da alcun Automatico Pushdown deterministico. Sfortunatamente, le diapositive non forniscono riferimenti su da dove provenga la prova. Mi chiedevo, qualcuno conosce un documento accademico o …

8 formal-languages reference-request automata pushdown-automata nondeterminism

3

Algoritmo per ridurre un DFA introducendo il non determinismo?

Ciò è in qualche modo correlato a un'altra domanda che ho posto , ma ritengo che sia abbastanza diverso da giustificare la propria domanda. Sto facendo delle ricerche in cui sto cercando di trovare la struttura dei complementi di una certa classe di lingue finite. È facile per me ottenere …

8 formal-languages automata finite-automata discrete-mathematics nondeterminism

2

Perché spesso si richiede la costruibilità dello spazio nel teorema di Savitch?

Quando viene affermato il famoso teorema di Savitch, si vede spesso il requisito che sia costruibile nello spazio (interessante, è omesso in Wikipedia). La mia semplice domanda è: perché ne abbiamo bisogno? Comprendo il requisito per in \ Omega (\ log n) , che è chiaro dalla prova. Ma nessuna …

8 complexity-theory space-complexity complexity-classes nondeterminism

2

Qual è lo stato dell'arte nella ricerca incapsulata nella programmazione logica funzionale?

Sono particolarmente interessato a soluzioni al problema che la ricerca incapsulata può dipendere dall'ordine di valutazione. Secondo [1], la ricerca incapsulata in PAKCS dipende dall'ordine di valutazione, mentre in MCC non lo fa, ma il suo utilizzo richiede la conoscenza dell'implementazione del compilatore e non segue le specifiche del linguaggio …

8 reference-request functional-programming nondeterminism logic-programming

Domande taggate «nondeterminism»