|
Evènement pour le groupe Modélisation et Verification
Date | 2009-01-23 11:00-12:15 |
Titre | Max-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. |
Lieu | Salle 076, LaBRI, Rez-de-chaussée |
Orateur | Mikolaj Bojanczyk |
Email | bojan@mimuw.edu.pl |
Url | Institute of Informatics, Warsaw University |
Aucun document lié à cet événement. RetourRetour à l'index
| |