Scienza del computer finite-automata

1

Intersezione di contesto libero con lingue regolari

Si dice che l'intersezione di una lingua senza contesto L con una lingua normale M è sempre libera dal contesto. Ho capito la prova della costruzione del prodotto incrociato, ma non riesco ancora a capire perché sia privo di contesto ma non regolare. Il linguaggio generato da tale intersezione ha …

16 regular-languages context-free finite-automata formal-grammars

1

Separazione esponenziale tra NFA e DFA in presenza di sindacati

Recentemente è stata posta una domanda interessante e successivamente cancellata. Per un linguaggio regolare LLL, la sua complessità DFA è la dimensione del minimo DFA che lo accetta e la sua complessità NFA è la dimensione del minimo NFA che lo accetta. È noto che esiste una separazione esponenziale tra …

15 regular-languages finite-automata

3

Algoritmo di Brzozowski per la minimizzazione di DFA

L'algoritmo di minimizzazione DFA di Brzozowski crea un DFA minimo per DFA solsolG : invertendo tutti gli spigoli in solsolG , rendendo lo stato iniziale uno stato accetta, e gli stati accetta iniziale, per ottenere un NFA N'N'N' per la lingua inversa, usando la costruzione di powerset per ottenere G′G′G' …

15 algorithms finite-automata runtime-analysis

3

Quali sono le possibili serie di lunghezze di parole in una lingua normale?

Data una lingua , definire l'insieme di lunghezze di L come l'insieme di lunghezze di parole in L : L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Quali insiemi di numeri interi possono essere l'insieme di …

15 formal-languages computability regular-languages finite-automata

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

1

Il numero di diverse lingue regolari

Dato un alfabeto Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , come molti diversi linguaggi regolari sono lì che può essere accettata da un nnn -Stato automa a stati finiti non deterministico? Ad esempio, consideriamo n=3n=3n=3 . Abbiamo quindi 2182182^{18} diverse configurazioni di transizione e 23232^3 diverse configurazioni di stato iniziale e …

14 formal-languages regular-languages finite-automata combinatorics

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

1

Una Turing Machine può decidere se un NFA accetta una stringa di lunghezza massima?

Voglio sapere se il seguente problema è decidibile: Istanza: un NFA A con n stati Domanda: esiste un numero primo p tale che A accetta una stringa di lunghezza p. La mia convinzione è che questo problema sia indecidibile, ma non posso provarlo. Il decisore può facilmente avere un algoritmo …

14 computability finite-automata

2

In che modo la parola "produzione" è diventata sinonimo della parola "regola" nel contesto dell'informatica?

Sto studiando linguaggi formali e sistemi di basi di produzione (sistemi di basi di regole) e sono un po 'confuso sul perché queste due parole "produzione" e "regola" significano la stessa cosa in così tanti contesti in Informatica. In lingua inglese non sembrano significare la stessa cosa. Non sono un …

13 formal-languages terminology automata finite-automata formal-grammars

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

1

Logica del secondo ordine monadica per manichini

Sono programmatore con una presa sugli automi, ma non sulla logica. Ho letto sui giornali che i due sono strettamente legati. Gli automi deterministici finiti (DFA), gli automi ad albero e gli automi a spinta visibile sono tutti correlati alla logica del secondo ordine (MSO) di Monadic. Anche se, capisco …

13 automata finite-automata logic coq automated-theorem-proving

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

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

2

Qual è la complessità del problema di vuoto per i DFA a 2 vie?

Mi chiedo, qual è la complessità temporale nel determinare il vuoto per i DFA a 2 vie? Cioè, automi finiti che possono spostarsi all'indietro sul nastro di input di sola lettura. Secondo Wikipedia, sono equivalenti ai DFA, sebbene il DFA equivalente potrebbe essere esponenzialmente più grande. Ho trovato la complessità …

12 complexity-theory formal-languages reference-request automata finite-automata

Domande taggate «finite-automata»