Speaker : | Maxime Raynal |
LIG, Nokia Bell Labs France | |
Date: | 29/03/2023 |
Time: | 3:00 pm - 4:00 pm |
Location: | Room 4B01 |
Abstract
Regular expressions are ubiquitous in computer science but are cumbersome to code. In this work, we present a new algorithm, named fAST (find Abstract Syntax Tree), that infers a regular expression from a small set of positive examples. Its main strength (with respect to the start of the art) resides in its ability to perform this inference without counter examples.
Authors: Maxime Raynal (LIG, NBLF), Marc-Olivier Buob (NBLF), Georges Quénot (LIG)