An Automata Theoretic Characterization of Weighted First-Order Logic

Dhruv Nevatia, Benjamin Monmege

Since the 1970s with the work of McNaughton, Papert and Schützenberger, a regular language is known to be definable in the first-order logic if and only if its syntactic monoid is…