  OPTIONS
    -h Display this information

    This option shows the adpcompile command line interface.

    -H <option> Display detailed information on <option>

    This displays the corresponding section of the adpcompile manual for the
    given command line option.

    -c <file> Compile to imperative target code

    Compile the given adp file to C.

    -z <file> Optimize combinators in ADP source code

    This mode reads the given ADP file, optimizes the next-combinators in
    it, and generates an optimized copy of the given file.

    -l <file> Generate recurrences typeset in LaTeX

    This option generates recurrences typeset in LaTeX.

    -g <file> Generate ADP template for signature

    This option generates a ADP template for the given signature. The
    template consists of the algebra type, enumeration and count algebras,
    the definition of the pair-operator and a simple grammar, that generates
    the term algebra.

  Table design
    -tg <file> -ctg Derive good table configurations

    Option -tg generates a <good> table configuration. A configuration is
    good, if it achieves a polynomial runtime of the given ADP program with
    the minimal number of DP tables. While option -tg stops after the table
    design, the option -ctg can be used together with option -c for the
    imperative target code generation.

    -to <file> -cto Derive optimal table configurations

    Option -to generates an optimal table configuration. A configuration is
    optimal, if it achieves the best possible asymptotic runtime with the
    minimal number of DP tables. Again, option -to starts a stand-alone
    table design, while -cto optimizes the tables during the target code
    generation.

    -tx <file> -ctx Derive approx. optimal table configurations

    Since the table design is an NP-complete problem, options -tg and -to
    are not suitable for larger grammars. Our experience showed that
    grammars with up to 40 nonterminal symbols can be processed with option
    -to. With more nonterminals, the running time of the optimization can
    easily go into hours and days. Here the options -tx and -ctx can be
    used. These options calculate optimal table configurations with the use
    of an approximal approach (GRASP). In our experience this approximal
    results are as good as the results from option -to.

    -iuc Ignore user annotated table configuration

    To support the table design phase, the input program can be annotated
    with the keywords "tabulated" and "nontabulated". This means, a
    production annotated with "tabulated" has to be tabulated in every case,
    and a production annotated with "nontabulated" must not be tabulated.
    This user annotations work together with large grammars and options -tg
    and -to, which would otherwise calculate too long. With option -iuc the
    ADP compiler ignores all user annotations.

    -tadd <number> Maximal number of additional tables

    Option -tadd can be used together with options -to and -tx to improve
    the constant factor of an optimal table configuration. This is done by
    introducing a given number of additional tables. If this improves
    constant factors by the factor given with option -taddc the additional
    tables are added to the table configuration.

    -taddc <number> Necessary constant factor improvement for add. tables

    Option -taddc specifies the necessary constant factor improvement for
    option -tadd

    -taddn <number> Expected input length for constant factor improvement

    Option -taddn specifies the expected input length for the constant
    factor improvement.

  Target code generation
    -bt <mode> Generate backtracing code (enumeration algebra needed) mode:
    s -> single, so -> suboptimal

    With option -bt the ADP compiler generates backtracing code. The given
    mode can be either <s> for a single-result-backtrace, or <so> for a
    suboptimal backtrace.

    -W Include window mode

    Option -W generates program code for a sliding window mode. Beginning
    with position 1 of the input sequence, the analysis is repeatedly
    processed on subsequences of the specified size. After each calculation,
    the results are printed out and the window is moved by the window
    position increment (-W), until the end of the input sequence is reached.

    -al <alg> .. <alg> Specify order of algebra usage

    Option -al specifies the algebras for the compilation.

    -alpp <alg> .. <alg> Specify pretty printing algebras

    Option -alpp specifies the pretty printing algebra that shall be used
    for the candidate ouput in the backtrace modes.

    -cs <alg> Automatically generate signature and enumeration for algebra
    <alg>

    The option -cs automatically generates the signature and enumeration
    algebra from the given algebra. This option is useful for the
    backtracing modes.

    -vl <verbosity level> Specify output verbosity level verbosity level: t
    -> target, r -> trace, rr -> detailed trace d -> debug

    Option -vl specifies the verbosity level of the compilation.

    -o <filename> Output to <filename>

    Option -o specifes the output file.

    -v Show version

    This option shows the adpcompile version number.

