Sto cercando una tecnica generale che possa aiutarmi a dimostrare non solo che Buchi automi è un modello più espressivo di LTL, ma che la formula specifica può / non può essere espressa in LTL. Ad esempio, " verifica almeno su posizioni pari" può essere descritto dai seguenti automi Buchi: …
Questa domanda è collegata a una recente domanda di Janoma . sfondo Nella programmazione vincolo, un regolare vincolo globale ccc su un dominio DDD è una coppia (s,M)(s,M)(s, M) con sss una tupla di variabili (la portata) e MMM un DFA sul dominio DDD . Un'assegnazione θθ\theta di sss soddisfa …
È possibile costruire un algoritmo che accetta come input un automa pushdown insieme alla promessa che il linguaggio accettato da questo automa è un linguaggio deterministico senza contesto e genera un automa deterministico pushdown che accetta precisamente il linguaggio accettato di ?L ( M ) N MMMML ( M)L(M)L(M)NNNMMM Un …
Immerman (Descriptive Complexity, 1999) presenta i giochi EF per il secondo ordine monadico esistenziale (giochi Ajtai-Fagin) a pagina 127. Poiché MSO sulle parole è equivalente alle lingue normali, il gioco può essere scritto come segue.∃∃\exists Una lingua è regolare se e solo se Delilah non ha una strategia vincente nel …
I trasduttori considerati qui sono quelli che Wikipedia chiama trasduttori a stati finiti . Il comportamento di un trasduttore , cioè la relazione che calcola, è scritto : una parola è un output per iff .[ T ] y x x [ T ] yTTT[T][T][T]yyyxXxx[T]yX[T]yx[T]y Domanda: è il seguente problema …
Lasciare un numero . Considera la seguente lingua .nnnLn={ww|w∈{0,1}n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} In parole, è l'insieme di stringhe di copia di lunghezza .LnLnL_n2n2n2n Si consideri il seguente stato funzione di complessità tale che è il numero di stati nel più piccolo …
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 …
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 …
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 …
Un automa deterministico è chiamato k -locale per k > 0 se per ogni w ∈ X k l'insieme { δ ( q , w ) : q ∈ Q } contiene al massimo un elemento. Intuitivamente ciò significa che se una parola w di lunghezza k conduce a uno …
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, …
Sia un linguaggio privo di contesto. Definire p p c ( L ) per la chiusura pre e postfix di L , in altre parole, p p c ( L ) contiene tutti L 's prefissi e suffissi e quindi L stessa. La mia domanda: se L è privo di …
Sto cercando di elaborare una tassonomia di algoritmi per trasformare espressioni regolari in automi in modo da eseguire alcuni test empirici delle loro proprietà di complessità in domini specifici. Sono a conoscenza di diversi nomi "più grandi", ad es. Thompson "Algoritmo di ricerca di espressioni regolari", Thompson, 1968 Glushkov "Un …
Ciao a tutti, al momento sto cercando di trovare un solido argomento di tesi di master pertinente in qualche branca della teoria degli automi o in relazione ai linguaggi formali. Sto cercando di generare alcune buone idee su quale sarebbe un argomento accettabile, qualcosa di ambizioso ma qualcosa di fattibile …
Un DFA o NFA legge attraverso una stringa di input con una sola testina, spostandosi da sinistra a destra. Sembra naturale chiedersi macchine a stati finiti che hanno più teste , ognuna delle quali si muove attraverso l'input da sinistra a destra, ma non necessariamente nello stesso punto dell'input delle …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.