| a | b |
-----+---+---+
-> A | B | C |
   B | B | D |
   C | B | C |
   D | B | E |
  [E]| B | C |

+-----------------------------------------------------------------------------+
| - Conjunto total de estados: ( A B C D E )                                  |
|                                                                             |
| - Separe en 2 grupos los estados finales y los no finales: ( A B C D ) ( E )|
|                                                                             |
|   - El grupo ( E ) no se puede particionar más, así que queda solo: ( E )   |
|                                                                             |
|   - Partición actual de estados: ( A B C D ) ( E )                          |
+-----------------------------------------------------------------------------+

+-----------------------------------------------------------------------------+
| - Refinamiento de ( A B C D )                     ( A B C D ) ( E )         |
|         ( A B C D )                                                         |
|      a->  B B B B  => Todos están en el mismo grupo                         |
|      b->  C D C E  => E no está en el grupo de ( C D C )                    |
|                                                                             |
|           Con la letra "b" del estado D se pasa al estado E                 |
|           que no está en el mismo grupo de los estado de ( C D C )          |
|                                                                             |
|   - Refinamiento de ( A B C D ) resultante: ( A B C ) ( D )                 |
|                                                                             |
|   - El grupo ( D ) no se puede particionar más, así que queda solo: ( D )   |
|                                                                             |
|   - Separa al estado D en un nuevo grupo: ( A B C ) ( D ) ( E )             |
|                                                                             |
|   - Partición actual de estados: ( A B C ) ( D ) ( E )                      |
+-----------------------------------------------------------------------------+

+-----------------------------------------------------------------------------+
| - Refinamiento de ( A B C )                       ( A B C ) ( D ) ( E )     |
|         ( A B C )                                                           |
|      a->  B B B    => Todos están en el mismo grupo                         |
|      b->  C D C    => ( C ) y ( D ) están en grupos diferentes              |
|                                                                             |
|           Con la letra "b" del estado B se pasa a un estado                 |
|           que no está en el mismo grupo de estado de C                      |
|                                                                             |
|   - Refinamiento de ( A B C ) resultante: ( A C ) ( B )                     |
|                                                                             |
|   - Partición actual de estados: ( A C ) ( B ) ( D ) ( E )                  |
+-----------------------------------------------------------------------------+

+-----------------------------------------------------------------------------+
| - Refinamiento de ( A C )                         ( A C ) ( B ) ( D ) ( E ) |
|         ( A C )                                                             |
|      a->  B B    => Todos están en el mismo grupo                           |
|      b->  C C    => Todos están en el mismo grupo                           |
|                                                                             |
|         No es posible refinar el grupo ( A C )                              |
|                                                                             |
|   - Partición final de estados: ( A C ) ( B ) ( D ) ( E )                   |
+-----------------------------------------------------------------------------+


     | a | b |          | a | b |           | a | b |
-----+---+---+     -----+---+---+      -----+---+---+
-> A | B | C | ==>    B | B | D |  ==> -> A | B | A |
   B | B | D |     -> C | B | C |         B | B | D |
   C | B | C |        D | B | E |         D | B | E |
   D | B | E |       [E]| B | C |        [E]| B | A |
  [E]| B | C |
                   Eliminación de A    Eliminación de C

- Remueva todos los estados sumidero
- Remueva todos los estados no alcanzables desde el estado
  inicial.