Domande taggate «minimization»

Gli automi XOR (NXA) per i linguaggi finiti beneficiano dei cicli?

Un Xor autata non deterministico (NXA) è sintatticamente un NFA, ma si dice che una parola sia accettata da NXA se ha un numero dispari di percorsi accettanti (invece di almeno un percorso accettante nel caso NFA). È facile vedere che per un linguaggio regolare finito LLL , esiste un …

14 fl.formal-languages automata-theory nondeterminism minimization

Riduzione al minimo degli automi a stati finiti residui

Gli automi a stati finiti residui (RFSA, definiti in [DLT02]) sono NFA che hanno alcune belle caratteristiche in comune con i DFA. In particolare, esiste sempre una RFSA canonica di dimensioni minime per ogni lingua regolare e la lingua riconosciuta da ogni stato nella RFSA è un residuo, proprio come …

12 cc.complexity-theory ds.algorithms automata-theory lg.learning minimization

Generalizzare l'algoritmo di minimizzazione DFA di Brzozowski per automi finiti con diverse classi di stati accettanti?

L'algoritmo di Brzozowski per convertire un DFA in un DFA a stato minimo equivalente è straordinariamente semplice: se indica l'NFA formato invertendo tutti i bordi di un DFA D , rendendo il vecchio stato iniziale uno stato accettante e rendendo il vecchio accettante stati iniziano stati, e se P ( …

9 automata-theory minimization

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.