Jean-Camille Birget
-
McNaughton families of languages
Theoretical Computer Science
Turing machines and bimachines
The derivational complexity of string rewriting systems