I'm currently having trouble minimizing my DFA.
I have the following graph: (ignore the numbers after ":")
Using the table minimization method I reached: (x is distinguishable, O is non-distinguishable)
However whenever I actually minimize the graph, it is disconnected or is just impossible to actually minimize.
My process (ie. for {q1, q9}):
q9 - 0 -> q11
q1 - 0 -> q2
therefore
{q1, q9) is distinguishable
Could someone please tell me where I'm going wrong with this / where I made a mistake with my minimization process?