Essays about: "Anders Lindahl"

Found 1 essay containing the words Anders Lindahl.

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

    University essay from Institutionen för datavetenskap

    Author : Anders Lindahl; Mattias Svensson; [2004]
    Keywords : Datalogi; Infinite sequences; Alternating automata; Complementation; Omega-regular; Büchi automata; Datalogi;

    Abstract : 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. READ MORE