Watson-Crick finite automata