Rename function. Added assert for MinimizeDFA.

Rename PartitionGroup to PartitionOneGroup.
Rename some variable.
Added some comment.