Ricerca Avanzata

Collections Friburgo

Collection fribourgeoise
La collezione friburghese raggruppa diverse collezioni specifiche che sono descritte nelle singole sezioni, come per esempio i quotidiani friburghesi o le opere di consultazione friburghesi. Essa comprende anche la versione digitalizzata di documenti posseduti dalla BCU Friburgo che sono parte del patrimonio friburghese.

Perfeziona i miei risultati

Document type

Institution

Collection spécifique

Lingua

Autore

Domaine

Parola chiave

    Ordinati per: Data di deposito
    1 risultati 1
    Université de Fribourg

    Complementing Büchi automata with a subset-tuple construction

    Allred, Joel ; Ultes-Nitsche, Ulrich

    (Internal working papers DIUF ; 15-01)

    Complementation of Büchi automata is well known for being difficult. In the worst case, a state-space growth of (0:76n)n is unavoidable. Recent studies suggest that “simpler” algorithms perform better than more involved ones on practical cases. In this paper, we present a simple “direct” algorithm for complementing Büchi automata. It involves a structured subset construction (using...

    1 risultati 1