Scienza del computer finite-automata

5

In un DFA, ogni stato ha una transizione su ogni simbolo dell'alfabeto?

In caso contrario, cosa significa quando per qualche stato qqq e qualche simbolo un'aa , δ( q, a )δ(q,a)\delta(q, a) non esiste?

12 terminology automata finite-automata

2

L'uguaglianza di due DFA è un problema determinabile?

Quindi, dati due DFA, il problema di scoprire se generano la stessa lingua è un problema Decidibile? So già che l'uguaglianza di due CFL non è accettabile ma per quanto riguarda l'uguaglianza di due DFA? considerando che la maggior parte dei problemi con i DFA sono decidibili, anche questo è …

11 computability automata finite-automata decision-problem

2

Perché le macchine di Turing limitate linearmente sono più potenti degli automi a stati finiti?

Avevo l'impressione che i nostri computer, essendo finiti, alla fine non fossero più potenti delle (straordinariamente grandi) macchine a stati finiti. Tuttavia, anche le macchine di Turing linearmente limitate sono limitate, ma sembra che le lingue regolari siano rigorosamente un sottoinsieme improprio di lingue sensibili al contesto. Ovviamente, mi manca …

11 finite-automata computation-models linear-bounded-automata

1

Quanto velocemente possiamo decidere se un determinato DFA è minimo?

Minimizzando automi finiti deterministici (DFA) è un problema che è stato accuratamente studiato in letteratura, e sono stati proposti diversi algoritmi per risolvere il seguente problema: Dato un DFA , calcolare un corrispondente minimo DFA accettare la stessa lingua A . La maggior parte di questi algoritmi viene eseguita in …

11 algorithms formal-languages finite-automata

4

Può un FSA contare?

Questa potrebbe essere una domanda sciocca. Sembra chiaro che un FSA, dato che è finito, può contare solo il numero di simboli nella sua stringa di input fino a un numero limitato dal numero dei suoi stati. Ma ora supponiamo di dotare l'FSA di funzionalità di output (ad es. Stampa). …

11 automata finite-automata

1

Impossibile convertire da NFA a DFA

Ho un semplice problema di creare un DFA che accetta tutti gli input che iniziano con lettere doppie (aa, bb) o terminano con lettere doppie (aa, bb), dato è il set alfabetico del lingua data.Σ={a,b}Σ={a,b}\Sigma =\{a, b\} Ho provato a risolverlo in modo circolare: Generare un'espressione regolare Realizzare il corrispondente …

11 automata finite-automata

3

Come convertire un NFA con cicli sovrapposti in un'espressione regolare?

Se ho capito bene, NFA ha lo stesso potere espressivo delle espressioni regolari. Spesso leggere espressioni regolari equivalenti da NFA è facile: traduci cicli in stelle, incroci come alternative e così via. Ma cosa fare in questo caso: [ fonte ] I cicli sovrapposti rendono difficile vedere cosa accetta questo …

11 algorithms formal-languages finite-automata regular-expressions

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

2

Il più piccolo DFA che accetta determinate stringhe e rifiuta altre stringhe date

Dati due insiemi di stringhe sull'alfabeto Σ , possiamo calcolare il più piccolo automa deterministico a stati finiti (DFA) M tale che A ⊆ L ( M ) e L ( M ) ⊆ Σ ∗ ∖ B ?A , BUN,BA,BΣΣ\SigmaMMMA ⊆ L ( M)UN⊆L(M)A \subseteq L(M)L ( M) ⊆ …

11 regular-languages automata finite-automata machine-learning

2

È stata studiata la seguente estensione di automi a stati finiti?

Considera una macchina a stati finiti come al solito, ma ogni transizione può anche aggiornare un contatore di numeri interi aggiungendo o sottraendo un numero. Ad esempio, una funzione di transizione della forma sposta nel nuovo stato e aggiunge al contatore, dove (quindi può essere positivo , negativo o zero).p …

10 finite-automata

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

Un Earley Parser può essere trasformato in un parser fuzzy simile al Levenshtein Automata Algo per DFA?

C'è un modo per eseguire l'analisi fuzzy (accetta le stringhe anche con errori di battitura a una certa distanza di modifica), con un DFA e un Automi Levenshtein costruito in fase di esecuzione della parola di input. Si può fare qualcosa di simile con un parser Earley? Sto trovando difficile …

10 algorithms context-free finite-automata parsers string-metrics

3

Algoritmi per minimizzare gli automi Moore

L'algoritmo di Brzozowski può essere esteso agli automi Moore ma la sua complessità temporale è esponenziale in generale. Esiste un altro algoritmo per ridurre al minimo gli automi Moore? Quali sono i tempi di esecuzione di questi algoritmi?

10 reference-request automata optimization finite-automata transducers

2

Metodo per misurare la "somiglianza" tra le grammatiche FSA?

Sto lavorando con un algoritmo di corrispondenza dei modelli che genera un automa a stati finiti aciclico che accetta una determinata stringa di testo e tutte le sue sottostringhe. L'algoritmo FSA viene eseguito su una rappresentazione simbolica di un flusso musicale (ad es. Dati MIDI). Il flusso musicale è stato …

10 formal-languages reference-request finite-automata

4

Lingua normale non accettata da DFA con al massimo tre stati

Descrivi una lingua normale che non può essere accettata da nessun DFA con solo tre stati. Non sono davvero sicuro da dove cominciare e mi chiedevo se qualcuno potesse darmi qualche consiglio o consiglio. Capisco che il lemma del pompaggio può essere usato per dimostrare che una lingua non è …

10 formal-languages regular-languages finite-automata pumping-lemma

Domande taggate «finite-automata»