1 paper
Kévin Dubrulle, Véronique Bruyère, Guillermo A. Pérez +1
As an alternative to visibly pushdown automata, we introduce visibly recursive automata (VRAs), composed of a set of classical automata that can call each other. VRAs are a strict…