Domande taggate «automata-theory»

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

1
Minimizzazione DFA multilingue
Sono interessato a una leggera generalizzazione di DFA. Come al solito abbiamo lo stato , l'alfabeto finito , un'azione definita su da e stato iniziale ; ma invece della solita serie di terminali, prendiamo una famiglia di sottoinsiemi di . Un DFA multilingue è quindi la tuplaQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow Qq0q0q_0(Ti)i∈1..n(Ti)i∈1..n(T_i)_{i\in …
2
Gli automi non deterministici che camminano sugli alberi sono più forti di quelli deterministici?
Aggiornamento: sembra che questo problema sia stato studiato e risolto di recente, vedi questo articolo wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton E anche questo sondaggio: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supponiamo che invece del solito insieme di parole, {0,1} *, le nostre parole non siano lineari ma piuttosto date su una struttura ad albero. Per impedire alle …
1
Iscrizione monoidale di transizione per DFA
Dato un DFA completo , possiamo definire una raccolta di funzioni per ciascuna e con , . Possiamo generalizzare questa nozione a una parola e dove indica la composizione della funzione. Inoltre denotiamo e è monoide.A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)fafaf_aa∈Γa∈Γa\in \Gammafa:Q→Qfa:Q→Qf_a:Q\rightarrow Qfa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a)w=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_mfw=fa1∘⋯∘famfw=fa1∘⋯∘famf_w=f_{a_1}\circ \cdots \circ f_{a_m}∘∘\circG={fw∣w∈Γ∗}G={fw∣w∈Γ∗}G=\{f_w\mid w\in \Gamma^*\}GGG [ …
1
Automi che riconoscono per un codice finito
Sia un alfabeto finito. Un codice sopra è un sottoinsieme di tale che ogni parola può essere rappresentato in modo univoco come concatenazione di parole . Un codice è finito seè finito. Cosa si sa degli automi (minimi) che riconoscono per un codice finito ? Esiste una caratterizzazione di tali …
1
Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari?
Gli automi limitati lineari non deterministici a visita limitata riconoscono solo le lingue regolari? Per automa lineare non deterministico limitato (nLBA) intendo una macchina di Turing non deterministica a nastro singolo in cui l'input viene "imbottito" con marcatori di estremità su entrambe le estremità che non possono mai essere sovrascritti …
1
Multigrafi diretti come automi minimi
Data una normale lingua sull'alfabeto A , il suo automa deterministico minimo può essere visto come una multigrafia connessa diretta con costante grado di out | A | e uno stato iniziale marcato (dimenticando le etichette delle transizioni, gli stati finali). Manteniamo lo stato iniziale perché ogni vertice deve essere …
1
Algoritmo di intersezione DFA per casi speciali
Sono interessato a algoritmi efficienti per l'intersezione DFA per casi speciali. Vale a dire, quando i DFA da intersecare obbediscono a una determinata struttura e / o operano con un alfabeto limitato. Esiste una fonte in cui posso trovare algoritmi in questi casi? Al fine di non rendere la domanda …
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.