Jeudi 11 mai 2023, 14:00 à 15:00
Salle de séminaire du département informatique
Alexandre Durand
(LITIS, Université de Rouen)
On considère l'opération obtenue en composant les deux opérations unaires miroir et Racine. Nous montrons que la complexité en états de cette opération est non seulement bien inférieure à la composition naïve de celles de ses composantes mais est également inférieure à celle de la Racine elle-même.