Domande taggate «automata»

Domande su dispositivi matematici che leggono il simbolo di un flusso di input per simbolo e usano una mappa di transizione di stato per produrre un flusso di output, magari usando l'archiviazione secondaria.

Algoritmo per tradurre un automa deterministico di Büchi in LTL (quando possibile)

La logica temporale lineare e gli automi deterministici di Büchi sono incomparabili: DBA non può esprimere e LTL non può esprimere "almeno ogni lettera dispari è 'a'" . Ma a volte è interessante sapere se la lingua di un DBA può essere espressa in LTL.FG aFsolun'FGa Ho bisogno di un …

10 logic automata linear-temporal-logic buchi-automata

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

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

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

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

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

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

Cosa significa dire che una lingua è "effettivamente chiusa" sotto un'operazione?

Ho letto alcuni articoli di teoria del linguaggio formale e ho trovato un termine che non capisco. Il documento farà spesso riferimento a un set "effettivamente chiuso sotto l'intersezione" o ad altre operazioni. Cosa significa "efficacemente" qui? In che cosa differisce dalla normale chiusura? Per riferimento, il documento in cui …

9 formal-languages terminology computability automata closure-properties

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

Perché non è semplice contare il numero di parole in una lingua normale?

Dato un DFA, A, sia L (A) a indicare il numero di parole che A accetta. Penso che sia facile calcolare L (A): tradurre la codifica di A in un'espressione regolare. Se la stella di Kleene appare ovunque nell'espressione, la lingua è infinita. Altrimenti: scorrere e contare tutte le combinazioni …

8 regular-languages automata regular-expressions

Relazione tra complessità dell'algoritmo e classe di automi

Non sono stato in grado di trovare un grafico che descriva o rispondi al testo rispondendo alla seguente domanda: Esiste una relazione diretta tra la complessità di un algoritmo (come il caso migliore / peggiore di ordinamento rapido) e la classe di automi che possono implementare l'algoritmo. Ad esempio, esiste …

8 complexity-theory automata reference-request complexity-classes

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

è possibile ridurre al minimo gli automi pushdown?

è possibile ridurre al minimo gli automi pushdown? Se no, perché? È perché per minimizzare le classi di equivalenza devono avere un indice finito e non possiamo garantirlo per CFG?

8 computability automata pushdown-automata

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.