Domande taggate «automata-theory»

Teoria degli automi, comprese macchine astratte, grammatiche, analisi, inferenza grammaticale, trasduttori e tecniche a stati finiti







2
Separare elenchi di parole
Esiste un problema aperto nei linguaggi formali noto come Problema di separazione; che viene brevemente indicato come dato due distinte stringhe di lunghezza , quanto è grande un DFA necessario per "separarle", nel senso che accetta una stringa ma rifiuta l'altra.nnn Ecco alcuni documenti pertinenti 1 , 2 . (Ne …

2
Riduzione al minimo degli automi che accettano
Qual è l'approccio standard per ridurre al minimo Büchi-Automata (o anche Müller-Automata)? Trasferire la solita tecnica da parole finite, cioè impostare due stati in modo che siano uguali se le parole "esaurirsi" degli stati che sono accettati sono uguali, non funzionerà. Ad esempio, si consideri il Büchi-Automoton che accetta tutte …

2
Le lingue regolari sono chiuse in aggiunta?
In particolare ciò che intendo per aggiunta è, definiamo di essere l'alfabeto { 0 , 1 , 2 , . . . , i } . Attribuite linguaggi regolari A e B sotto qualche alfabeto Σ i , sguardo A × B .ΣiΣi\Sigma_i{0,1,2,...,i}{0,1,2,...,i}\{0, 1, 2, ..., i\}AAABBBΣiΣi\Sigma_iA×BA×BA\times B Per ogni …


2
2DFA che richiede molti stati in DFA equivalente?
Esiste un 2DFA con stati (dove non è banale, diciamo almeno 4) che richiede almeno stati per simulare usando qualsiasi DFA?n 2 nnnnnnn2n2n2^n Un DFA a due vie (2DFA) è un automa a stati finiti deterministico che può spostarsi avanti e indietro sul suo nastro di input di sola lettura, …





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.