Scienza del computer finite-automata

1

Esiste un modo per verificare se due NFA accettano la stessa lingua?

O almeno generare una serie di stringhe accettate da un NFA, in modo da poterlo inserire nell'altro NFA. Se eseguo una ricerca in tutti i percorsi dell'NFA, funzionerà? Anche se ci vorrà molto tempo.

10 algorithms regular-languages finite-automata

2

Ottimo risolutore di labirinti miopi

Stavo scherzando con la demo di Google Blocky Maze e mi sono ricordato della vecchia regola che se vuoi risolvere un labirinto, tieni semplicemente la mano sinistra contro il muro. Funziona con qualsiasi labirinto collegato in modo semplice e può essere implementato da un trasduttore finito. Lascia che il nostro …

10 automata finite-automata artificial-intelligence

1

Anche l'inversione di un DFA minimo è minima?

La domanda è praticamente nel titolo. Esiste mai un momento in cui una lingua può essere accettata da un DFA minimo con n stati, ma L R , l'inversione di L , può essere accettata da un DFA con m stati, dove m < n ?LLLnnnLRLRL^RLLLmmmm < nm<nm<n

10 formal-languages reference-request automata finite-automata

4

NFA con numero esponenziale di stati quando deteminizzato

Come posso creare un esempio di DFA con stati in cui NFA equivalente ha stati. Ovviamente il set di stati del DFA dovrebbe contenere tutti i sottoinsiemi del set di stati del NFA, ma non so come iniziare. Qualche suggerimento per mettermi sulla buona strada?2n2n2^nnnn

10 automata finite-automata

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

3

Condizione per l'infinito del linguaggio di un automa a stati finiti

C'è un teorema che dice che: Dato un automa a stati finiti con stati, se esiste una stringa cui lunghezza soddisfa la lingua accettata dall'automa è infinita.nnnn ≤ | w | ≤ 2 n - 1wwwn ≤ | w | ≤ 2 n - 1n≤|w|≤2n−1n \leq |w| \leq 2n-1 Capisco …

9 automata finite-automata

4

Perché dovremmo studiare tutte e tre le forme di rappresentazione degli automi finiti?

DFA, NFA e epsilon NFA tutti e tre ci consentono di rappresentare un linguaggio regolare particolare. Con una qualsiasi di queste rappresentazioni possiamo arrivare alla stessa espressione regolare, allora perché dobbiamo studiare tutte e tre le forme di rappresentazione degli automi finiti? Ci possono essere delle spiegazioni su ciò che …

9 automata finite-automata education

3

DFA per accettare tutte le stringhe binarie di forma potenza di (non divisibile per ) cioè

Possiamo formare DFA accettando numeri binari divisibili per nnn . Ad esempio, DFA che accetta numeri binari divisibili per 2 può essere formato come segue: Allo stesso modo DFA che accetta numeri binari divisibili per 3 può essere formato come segue: Possiamo seguire una procedura ben definita per formare questi …

9 regular-languages automata finite-automata regular-expressions

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

1

Qual è la relazione tra Turing Machines con un nastro finito e Automi a stati finiti?

Mi sembra di ricordare da una classe universitaria che per una macchina di Turing con un nastro finito esisterà sempre un corrispondente automa a stati finiti, ma non sono stato in grado di trovare questo confermato ovunque su Internet. È davvero così o sto ricordando male?

9 turing-machines finite-automata

4

Qual è un buon algoritmo per generare DFA casuali?

Sto generando DFA casuali per testare un algoritmo di riduzione DFA su di essi. L'algoritmo che sto usando in questo momento è il seguente: per ogni stato , per ogni simbolo dell'alfabeto , aggiungi a uno stato casuale. Ogni stato ha la stessa probabilità di diventare uno stato finale.qqqcccδ(q,c)δ(q,c)\delta (q, …

9 algorithms finite-automata randomness pseudo-random-generators random-graphs

1

Differenza tra le lingue accettate da due DFA con diverso stato iniziale / stati accettanti?

Di recente, ho posto una domanda su Math SE. Ancora nessuna risposta. Questa domanda è collegata a quella domanda, ma maggiori dettagli tecnici verso l'informatica. Dati due DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) e B=(Q,Σ,δ,q2,F2)B=(Q,Σ,δ,q2,F2)B = (Q, \Sigma, \delta, q_2, F_2) dove l'insieme di stati, l'alfabeto di input …

9 formal-languages reference-request finite-automata

3

Se

Sono bloccato nel risolvere il prossimo esercizio: Sostieni che se è privo di contesto e è regolare, allora (ovvero il quoziente giusto ) è privo di contesto.R L / R = { w ∣ ∃ x ∈ RLLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx …

9 formal-languages context-free finite-automata closure-properties pushdown-automata

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

2

Suddividere una lingua regolare infinita in 2 lingue regolari infinite disgiunte

Dato qualsiasi linguaggio regolare infinito , come posso dimostrare che può essere partizionato in 2 linguaggi regolari infiniti disgiunti ? Cioè: , e e sono entrambi infiniti e regolari.LLLLLLL1,L2L1,L2L_1, L_2L1∪L2=LL1∪L2=LL_1 \cup L_2 = LL1∩L2=∅L1∩L2=∅L_1 \cap L_2 = \varnothingL1L1L_1L2L2L_2 Finora ho pensato a: usando il lemma del pompaggio in modo tale …

9 formal-languages regular-languages finite-automata

Domande taggate «finite-automata»