Output: --defines[=FILE] also produce a header file -d likewise but cannot specify FILE (for POSIX Yacc) -r, --report=THINGS also produce details on the automaton --report-file=FILE write report to FILE -v, --verbose same as '--report=state' -b, --file-prefix=PREFIX specify a PREFIX for output files -o, --output=FILE leave output to FILE -g, --graph[=FILE] also output a graph of the automaton -x, --xml[=FILE] also output an XML report of the automaton (the XML schema is experimental)
Eligo: --defines[=DOSIERO] aldone produkti kap-dosieron -d simile sed ne povas indiki DOSIEROn (por POSIX Yacc) -r, --report=AFEROJ aldone produkti detalojn pri la roboto --report-file=DOSIERO skribi raporton al DOSIERO -v, --verbose same ol '--report=state' -b, --file-prefix=PREFIKSO indiki PREFISOn por eligaj dosieroj -o, --output=DOSIERO konduki eligon al DOSIERO -g, --graph[=DOSIERO] aldone eligi grafeon pri la roboto -x, --xml[=DOSIERO] aldone eligi raporton XML pri la roboto (la XML-skemo estas eksperimenta)