Domande taggate «dfa»

Domande sugli automi finiti deterministici

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
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.