Domande taggate «finite-automata»

Domande su automi finiti, un modello di automa elementare con memoria finita. È equivalente alle lingue normali e alla base di molti modelli più complessi.

Automi a stati finiti: stati finali

Nel nostro corso sui concetti del linguaggio di programmazione, il nostro istruttore ha affermato che va bene che uno stato finale porti a un altro stato in un diagramma a stati finiti. Ma questo sembra essere un concetto fondamentalmente contraddittorio. Perché uno stato finale per definizione è uno che termina …

8 formal-languages graphs regular-languages finite-automata

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

I numeri quadrati scritti in binario sono una lingua normale?

Sto riscontrando problemi nel tentativo di determinare se tutti i numeri quadrati (1, 4, 9, 16, ...) scritti in forma binaria (1, 100, 1001, ...) sono un linguaggio normale. Dopo alcuni tentativi di trovare un modello comune di quei numeri, ho scoperto che per qualsiasi numero quadrato n2n2n^2, n2m o …

8 formal-languages regular-languages automata finite-automata

Qualsiasi problema risolto da un automa finito è in P

Dopo la mia lezione di Teoria del calcolo oggi mi è venuta in mente questa domanda: se un problema può essere risolto da un automa finito, questo problema appartiene a P. Penso che sia vero, poiché gli automi riconoscono linguaggi molto semplici, quindi tutti questi linguaggi avrebbero algoritmi polinomiali per …

8 complexity-theory automata finite-automata polynomial-time

A cosa serve il Lemma Pompante?

Questo è qualcosa che non sono riuscito a trovare, ma ho sempre trovato interessante il fatto che il lemma di pompaggio sia solo un lemma (soprattutto perché ha lo stesso nome per le lingue normali, le lingue senza contesto, ecc ...) Che cos'è un lemma?

8 complexity-theory regular-languages finite-automata

È possibile creare DFA per parole di lunghezza dispari con 1 al centro?

L : = { w ∈ { 0 , 1}*|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | la lunghezza di www è strano ∧∧ \wedge 1 è nel mezzo di w }w}w\} Quindi l'alfabeto è { 0 , 1}*{0,1}∗\{0,1\}^*. Il mio problema è che non riesco a tenere traccia dell'uguaglianza dei caratteri …

8 formal-languages finite-automata formal-grammars

Ridurre al minimo gli automi finiti deterministici senza stati accettanti

Ho un automa finito senza stati finali / accettanti, quindi F è vuoto. Come posso minimizzarlo? Ho avuto questo su un test e non sapevo come affrontare il problema perché l'automa non aveva stati di accettazione. Un singolo stato iniziale con tutte le transizioni in se stesso è la risposta …

8 automata finite-automata

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

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

Applicazione pratica delle macchine a stati finiti

Sto cercando applicazioni pratiche di macchine a stati finiti come macchine DFA, NFA, Moore, Mealy ... Sarebbe utile se qualcuno punta ad esempi dal kernel Linux. So che DFA viene utilizzato nella corrispondenza delle stringhe come l'algoritmo KMP. Qual è il significato delle macchine NFA, Moore e Mealy?

8 reference-request automata finite-automata

Provare che la lingua che consiste in tutte le stringhe in una lingua ha la stessa lunghezza di una stringa in un'altra lingua è normale

Quindi mi gratto la testa per questo problema da un paio di giorni. Dato un po 'di linguaUNUNA e BBB che è normale, mostra che la lingua LLL che consiste di tutte le stringhe in UNUNA la cui lunghezza è uguale a una stringa in BBB è una lingua normale. …

8 formal-languages regular-languages finite-automata proof-techniques closure-properties

Problema con l'implementazione dell'algoritmo di Brzozowski

Ho cercato di implementare l'algoritmo di Brzozowski ma ho appena scoperto che crea automi non ottimali per una certa classe di input, con uno stato in più di quello che è veramente necessario nel risultato. Posso mostrarlo su un automa banale: a b a b a b a b a …

8 algorithms automata finite-automata

Prova che le lingue normali sono chiuse sotto l'operatore del ciclo

Ho tra qualche giorno un esame e ho problemi per risolvere questo compito. Sia una lingua normale sull'alfabeto . Abbiamo l'operazione E ora dovremmo mostrare che è anche regolare.LLLΣΣ\Sigmaciclo( L ) = { x y∣ x , y∈Σ* e yx ∈ L }cycle⁡(L)={xy∣x,y∈Σ∗ and yx∈L}\operatorname{cycle}(L) = \{ xy \mid x,y\in …

8 formal-languages regular-languages finite-automata closure-properties

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.