let help = "generates a dot file of the Buchi automata"