Root Zanli
Home
Console
Upload
information
Create File
Create Folder
About
Tools
:
/
usr
/
share
/
doc
/
re2c
/
manual
/
options
/
Filename :
internal.rst_
back
Copy
``--dfa-minimization <moore | table>`` Internal option: DFA minimization algorithm used by re2c. The ``moore`` option is the Moore algorithm (it is the default). The ``table`` option is the "table filling" algorithm. Both algorithms should produce the same DFA up to states relabeling; table filling is simpler and much slower and serves as a reference implementation. ``--eager-skip`` Internal option: make the generated lexer advance the input position eagerly -- immediately after reading the input symbol. This changes the default behavior when the input position is advanced lazily -- after transition to the next state. This option is implied by ``--no-lookahead``. ``--no-lookahead`` Internal option: use TDFA(0) instead of TDFA(1). This option has effect only with ``--tags`` or ``--posix-captures`` options. ``--no-optimize-tags`` Internal optionL: suppress optimization of tag variables (useful for debugging). ``--posix-closure <gor1 | gtop>`` Internal option: specify shortest-path algorithm used for the construction of epsilon-closure with POSIX disambiguation semantics: ``gor1`` (the default) stands for Goldberg-Radzik algorithm, and ``gtop`` stands for "global topological order" algorithm. ``--posix-prectable <complex | naive>`` Internal option: specify the algorithm used to compute POSIX precedence table. The ``complex`` algorithm computes precedence table in one traversal of tag history tree and has quadratic complexity in the number of TNFA states; it is the default. The ``naive`` algorithm has worst-case cubic complexity in the number of TNFA states, but it is much simpler than ``complex`` and may be slightly faster in non-pathological cases. ``--stadfa`` Internal option: use staDFA algorithm for submatch extraction. The main difference with TDFA is that tag operations in staDFA are placed in states, not on transitions. ``--fixed-tags <none | toplevel | all>`` Internal option: specify whether the fixed-tag optimization should be applied to all tags (``all``), none of them (``none``), or only those in toplevel concatenation (``toplevel``). The default is ``all``. "Fixed" tags are those that are located within a fixed distance to some other tag (called "base"). In such cases only tha base tag needs to be tracked, and the value of the fixed tag can be computed as the value of the base tag plus a static offset. For tags that are under alternative or repetition it is also necessary to check if the base tag has a no-match value (in that case fixed tag should also be set to no-match, disregarding the offset). For tags in top-level concatenation the check is not needed, because they always match.