Aperiodic Weighted Automata and Weighted First-Order Logic

Manfred Droste, Paul Gastin

By fundamental results of Schützenberger, McNaughton and Papert from the 1970s, the classes of first-order definable and aperiodic languages coincide. Here, we extend this equivale…