Dynamical logic observers for finite automata