1 paper · 1 filter
Baudouin Le Charlier
I present the most fundamental features of an implemented system designed to manipulate representations of regular languages. The system is structured into two layers, allowing reg…