Format: q0,0=q1
Myhill-Nerode: Equivalent states behave the same for all inputs.
Partitioning: Split states based on distinguishability.