RO]         produzir também um gráfco do automaton
      --html[=FILE]             produzir também um relatório HTML do automaton
  -x, --xml[=FICHEIRO]           produzir também um relatório XML do automaton
  -M, --file-prefix-map=ANT=NOVO substituir ANT por NOVO ao escrever caminhos de ficheiro
                                 em ficheiros de saída