sameLanguage

Returns true if these two automata accept exactly the same language. This is a costly computation! Both automata must be determinized and have no dead states!