Evènement pour le groupe Séminaire Méthodes Formelles


Date 2022-01-18  14:00-15:00
TitreOrbit-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.) 
LieuOnline 
OrateurBartek Klin 
Emailhttps://www.cs.ox.ac.uk/people/bartek.klin/main.html 
UrlUniversity of Oxford 



Aucun document lié à cet événement.

Retour
Retour à l'index