The synchronization problem is investigated for a new class of deterministic automata called strongly transitive. An extension to unambiguous automata is also considered.
Strongly transitive automata and the Cerny conjecture / Carpi, A; D'Alessandro, Flavio. - In: ACTA INFORMATICA. - ISSN 0001-5903. - STAMPA. - 46:(2009), pp. 591-607. [10.1007/s00236-009-0106-7]
Strongly transitive automata and the Cerny conjecture
D'ALESSANDRO, Flavio
2009
Abstract
The synchronization problem is investigated for a new class of deterministic automata called strongly transitive. An extension to unambiguous automata is also considered.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
