Sökning: "Omega-regular"

Hittade 1 uppsats innehållade ordet Omega-regular.

  1. 1. Complementation of Büchi automata: A survey and implementation

    Uppsats för yrkesexamina på grundnivå, Institutionen för datavetenskap

    Författare :Anders Lindahl; Mattias Svensson; [2004]
    Nyckelord :Datalogi; Infinite sequences; Alternating automata; Complementation; Omega-regular; Büchi automata; Datalogi;

    Sammanfattning : This thesis is a survey of the field of languages over infinite sequences. There is active research going on in this field, during the last year several new results where published. We investigate the language containment problem for infinite sequences, with focus on complementation of Büchi automata. LÄS MER