32 citations · 172 across the 29 of their papers we have counts for
1 paper · 2 filters
Bernard Boigelot, Julien Brusten, Veronique Bruyere
This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted…