Buchi_Automaton