abstractions/deterministic_automaton library