1 vote
Accepted

Hopcroft's minimization algorithm produces an incorrect result for a particular regular expression

I suspect what happened is that you took Split to subdivide a cluster of states based on whether the successor state is accepting or rejecting, which, since the pseudocode only contemplates a binary ...
user avatar
1 vote

Transition System vs State Machines

From each DFA or NFA, you can obtain a labelled transition system, by ignoring which states are the initial or final states. If you have a labelled transition system with a finite set of states and a ...
user avatar
  • 143k

Only top scored, non community-wiki answers of a minimum length are eligible