Evènement pour le groupe Modélisation et Verification


Date 2009-01-23  11:00-12:15
TitreMax-regular languages 
RésuméA new class of languages of infinite words is introduced, called the max-regular languages, extending the class of omega-regular languages. The class has two equivalent descriptions: in terms of automata (a type of deterministic counter automaton), and in terms of logic (weak monadic second-order logic with a bounding quantifier). Effective translations between the logic and automata are given. 
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurMikolaj Bojanczyk 
Emailbojan@mimuw.edu.pl 
UrlInstitute of Informatics, Warsaw University 



Aucun document lié à cet événement.

Retour
Retour à l'index