# Equivalence with Finite Automata