Finite Automata and the Logic of Single-Place Predicates