Participant : Valentin Antimirov
Mots clefs : expression régulière,automate à états finis
Valentin Antimirov est décédé le 31 mai 1995 ; mais malgré sa maladie, il a travaillé jusqu'à ses derniers jours sur la théorie des expressions régulières. Son article [4] commun avec Peter Mosses traite d'une méthode de décision de l'égalité dans la théorie des algèbres régulières qui axiomatise les expressions régulières par le biais des opérations d'union, de produit (ou concaténation) et d'itération. En mars 1995, Valentin Antimirov a présenté une communication [19] à la conférence STACS à Munich dont une version complète [3] a été préparée par ses collègues d'EURéCA pour être publiée, accompagnée d'une notice nécrologique dans Theoretical Computer Science. Cette étude propose une méthode efficace de décision de l'égalité entre expressions régulières fondée sur la réécriture dans les algèbres à sortes ordonnées. La communication [20] acceptée à la conférence Fundamentals of Computation Theory a été présentée par Pierre Lescanne ; elle étend le travail précédent à la résolution d'inéquations.