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.

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

Bug in noodlification, specifically in simulation reduction #427

Closed
jurajsic opened this issue Jul 19, 2024 · 1 comment · Fixed by #428
Closed

Bug in noodlification, specifically in simulation reduction #427

jurajsic opened this issue Jul 19, 2024 · 1 comment · Fixed by #428

Comments

@jurajsic
Copy link
Member

There seems to be some problem with reduction of the intersection automaton during noodlification, see this commit for an example where this shows up.
The intersected automaton with epsilons should be simple line q0 -0-> q1 -0-> q2 -eps-> q3 -0-> q4 -0-> q5 but for some reason, after reduction (line 382), it turns into q0 -0-> q1 -0-> q2 -eps-> q3 with self-loop on q3 and NO final states.
Maybe the problem is that we are reducing and putting it into the same variable?

@Adda0
Copy link
Collaborator

Adda0 commented Jul 19, 2024

I will have a look. Thank you for the bug report.

@jurajsic jurajsic linked a pull request Jul 19, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants