remove BinaryAutomaton