Presentation
The project UnReAL, Understanding Regular expressions, Automata and Languagues is funded by the French National Research Agency ANR. It will span a period of five years (10/2024–10/2029).
Objectives
The objective of the project is to understand classes of regular languages defined by standard formalisms, such as variants of first-order logic, temporal logic or regular expressions.
See the scientific description of the project for details.
Part of this project is devoted to designing a tool to solve efficiently membership problems for regular languages. See the page of the MeSCaL software here.