Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Reimplementation of NFA to DFA, and Thompson NFA to Glushkov NFA conversions #193

Merged
merged 14 commits into from
Dec 27, 2019
Merged

Reimplementation of NFA to DFA, and Thompson NFA to Glushkov NFA conversions #193

merged 14 commits into from
Dec 27, 2019

Commits on Dec 23, 2019

  1. Have a symbol closure include a subsequent epsilon closure. 

    This is unfortunately relatively expensive, but does have some potential for optimisation.
    @katef
    katef committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    17b1b20 View commit details
    Browse the repository at this point in the history

  2. Expose fsm_state_cmpedges() as a convenience.

    @katef
    katef committed Dec 23, 2019
    Configuration menu
    Copy the full SHA
    5dabf2d View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2019

  1. First cut at a new implementation of determinisation.

    @katef
    katef committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    2306131 View commit details
    Browse the repository at this point in the history

  2. A reimplementation of conversion from Thompson to Glushkov NFA. 

    This is written in terms of the bulk epsilon and symbol closures, in the same style as the corresponding rewrite for NFA to DFA conversion.
    @katef
    katef committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    eadf69f View commit details
    Browse the repository at this point in the history

  3. Retire the previous implementation of DFA to NFA conversion, and Glus… 

    …hkov construction.

Farewell, code. And thank you to everybody who helped work on it.
    @katef
    katef committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    81e4e0c View commit details
    Browse the repository at this point in the history

  4. Naming; replace the previous determinise and glushkovise implementati… 

    …ons.
    @katef
    katef committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    3055bc7 View commit details
    Browse the repository at this point in the history

  5. Hide away single-state epsilon closure; it's only needed for this one… 

    … place.
    @katef
    katef committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    cc000f7 View commit details
    Browse the repository at this point in the history

  6. Naming; no need for the _bulk suffix here.

    @katef
    katef committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    59fb85a View commit details
    Browse the repository at this point in the history

  7. NFA to DFA conversion now operates on Glushkov NFA, resolving epsilon… 

    …s beforehand.
    @katef
    katef committed Dec 24, 2019
    Configuration menu
    Copy the full SHA
    e7815f8 View commit details
    Browse the repository at this point in the history

Commits on Dec 25, 2019

  1. Missing allocation wrappers.

    @katef
    katef committed Dec 25, 2019
    Configuration menu
    Copy the full SHA
    6169c7b View commit details
    Browse the repository at this point in the history

  2. A very complicated way to avoid introducing epsilons.

    @katef
    katef committed Dec 25, 2019
    Configuration menu
    Copy the full SHA
    4b74d6a View commit details
    Browse the repository at this point in the history

  3. Centralise predicates on state sets.

    @katef
    katef committed Dec 25, 2019
    Configuration menu
    Copy the full SHA
    a774ec6 View commit details
    Browse the repository at this point in the history

  4. Clarification.

    @katef
    katef committed Dec 25, 2019
    Configuration menu
    Copy the full SHA
    9b2ec66 View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2019

  1. Cruft; these are no longer used for the determinisation implementation.

    @katef
    katef committed Dec 26, 2019
    Configuration menu
    Copy the full SHA
    25e7144 View commit details
    Browse the repository at this point in the history