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


Date 2021-06-01  07:00-07:00
TitreLearning Pomset Automata 
RésuméAbstract: We adapt the L* algorithm to learn bimonoids recognising pomset languages. We then show how to convert between bimonoids and a class of pomset automata that accepts precisely the class of pomset languages recognised by bimonoids. 
LieuOnline 
OrateurGerco van Heerdt 
Emailhttp://www.gerco.me/ 
UrlUniversity College London 



Aucun document lié à cet événement.

Retour
Retour à l'index