fix bug: add final state when building interAutomaton