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

Prevent changing the state 0 of a DFA. #41

Open

marcofavorito opened this issue Apr 25, 2020 · 0 comments

Member

marcofavorito commented Apr 25, 2020

Is your feature request related to a problem? Please describe.

When the DFA is built incrementally, the library should prevent any change to the state 0, that is:

cannot be set as a final state
cannot add a transition from it

Notice: transitions to state 0 are already present by default, because the BDDs for each bit only store the transitions that lead to positive bits.

Describe the solution you'd like
n/a

Describe alternatives you've considered
n/a

Additional context
n/a

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment