Minimize after every operation.
.TP
.B \-S <spec>
-FSM specification to output for -V
+FSM specification to output (for rlgen-dot)
.TP
.B \-M <machine>
-Machine definition/instantiation to output for -V
+Machine definition/instantiation to output (for rlgen-dot)
.TP
.B \-C
The host language is C, C++, Obj-C or Obj-C++. This is the default host language option.
" -l Minimize after most operations (default)\n"
" -e Minimize after every operation\n"
"machine selection:\n"
-" -S <spec> FSM specification to output for -V\n"
-" -M <machine> Machine definition/instantiation to output for -V\n"
+" -S <spec> FSM specification to output (for rlgen-dot)\n"
+" -M <machine> Machine definition/instantiation to output (for rlgen-dot)\n"
"host language:\n"
" -C The host language is C, C++, Obj-C or Obj-C++ (default)\n"
" -D The host language is D\n"