port=state"
  -b, --file-prefix=PREFIXO     especifica o PREFIXO para os arquivos de saída
  -o, --output=ARQUIVO          armazena a saída em ARQUIVO
  -g, --graph[=ARQUIVO]         também produz um gráfico do autômato
      --html[=ARQUIVO]          também produz um relatório HTML do autômato
  -x, --xml[=ARQUIVO]           também produz um relatório XML do autômato
  -M, --file-prefix-map=ANTIGO=NOVO
                                substitui prefixo ANTIGO pelo NOVO ao escrever
                                  caminhos de arquivos nos arquivos de saída