A Quasi-Linear Time Algorithm Deciding Whether Weak Büchi Automata Reading Vectors of Reals Recognize Saturated Languages

Arthur Milchior

This work considers weak deterministic Büchi automata reading encodings of non-negative $d$-vectors of reals in a fixed base. A saturated language is a language which contains all…