3 citations · 5 across the 4 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
Guillotine and Tiling Cofiniteness in Unary Picture Languages
Pierluigi San Pietro, Stefano Crespi Reghizzi, Antonio Restivo
Motivated by the study of closure operations on picture languages, we ask when a set of unary tiles can generate all sufficiently large pictures either via repeated horizontal and…
cs.FL2020★ 3 cited
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
Dino Mandrioli, Matteo Pradella, Stefano Crespi Reghizzi
A classic result in formal language theory is the equivalence among non-counting, or aperiodic, regular languages, and languages defined through star-free regular expressions, or f…