Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval