have same number of states

have same number of edges

have same number of states and edges

recognize same set of tokens