Collections Fribourg

Collection fribourgeoise
La collection fribourgeoise rassemble plusieurs collections particulières qui sont décrites sous des rubriques spécifiques, comme les journaux fribourgeois ou les ouvrages de références fribourgeois. Elle contient également des versions numériques de documents possédés par la BCU Fribourg qui font partie du patrimoine fribourgeois.

La numérisation de ces documents suit son cours.
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...