removeNondistinguishableStates() issue

Question

removeNondistinguishableStates() issue

Closed this issue 12 years ago · 6 comments

(a union Set(b,c,d)).removeUnreachableStates.removeNondistinguishableStates.print

running this gives an incorrect DFA. Testing suggests that the problem is with the removeNondistinguishableStates() method. Running the line

(a union Set(b,c,d)).getDFA.removeNondistinguishableStates.print

provides the correct answer. This shouldnt be making a difference though since removeNondistinguishableStates() calls getDFA if the machine is not deterministic already.

Answer 1 · 2013-01-06T19:24:40.000Z

I am unable to reproduce the issue. The issue will be closed for now.

Answer 2 · 2013-01-09T01:40:45.000Z

Still an issue
(a union Set(b,c,d)).minimize.print

Answer 3 · 2013-01-26T04:31:26.000Z

Needs to be rewritten completely now

Answer 4 · 2013-01-27T19:09:26.000Z

Still buggy:
println("(a+)b".getDFA.removeNondistinguishableStates)

Answer 5 · 2013-01-27T19:13:43.000Z

This bug may or may not be caused by this method:
println("(a*)".getDFA.removeNondistinguishableStates)

Answer 6 · 2013-01-27T23:30:18.000Z

This part of the issue has been fixed:
println("(a*)".getDFA.removeNondistinguishableStates)

It was a problem with Automaton.toString()