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