|
Evènement pour le groupe Séminaire Méthodes Formelles
Date | 2022-01-18 14:00-15:00 |
Titre | Orbit-finite-dimensional vector spaces, with applications to weighted register automata |
Résumé | I will discuss vector spaces spanned by orbit-finite sets. These spaces are infinite-dimensional, but their sets of dimensions are so highly symmetric that the spaces have many properties enjoyed by finitely-dimensional spaces.
Applications of this include a decision procedure for equivalence of weighted register automata, which are the common generalization of weighted automata and register automata for infinite alphabets. The algorithm runs in exponential time, and in polynomial time for a fixed number of registers. As a special case, we can decide, with the same complexity, language equivalence for unambiguous register automata.
(Joint work with Mikolaj Bojanczyk and Joshua Moerman.) |
Lieu | Online |
Orateur | Bartek Klin |
Email | https://www.cs.ox.ac.uk/people/bartek.klin/main.html |
Url | University of Oxford |
Aucun document lié à cet événement. RetourRetour à l'index
| |