 spécifier le FICHIER (pour le Yacc POSIX)
  -r, --report=CHOSES           générer les détails concernant l'automate
      --report-file=FICHIER     écrire le rapport dans le FICHIER
  -v, --verbose                 identique à « --report=state »
  -b, --file-prefix=PRÉFIXE     utiliser le PRÉFIXE pour le fichier de sortie
  -o, --output=FICHIER          produire la sortie dans le FICHIER
  -g, --graph[=FICHIER]         produire aussi un graphe de l'automate
      --html[=FICHIER]          produire aussi un rapport HTML de l'automate
  -x, --xml[=FICHIER]           produire aussi un rapport XML de l'automate
  -M, --file-prefix-map=ANCIEN=NOUVEAU
                                remplacer l'ANCIEN préfixe par le NOUVEAU en écrivant
                                les chemins des fichiers dans les fichiers de sortie
