|    0    |   1    AFND que acepta hileras que terminan en 01
-----+---------+-----
->q0 | {q0,q1} | {q0}          0,1
-----+---------+-----         /  \
  q1 |   {}    | {q2}         \  /  0         1
-----+---------+-----          q0 -----> q1 -----> q2
* q2 |   {}    |  {}
-----+---------+-----


              |   0   |   1   | AFD que acepta hileras que terminan en 01
--------------+-------+-------+
              |   B   |   A   | B = &(q0,0) = {q0,q1}
->A = {q0}    |       |       |
              |{q0,q1}| {q0}  | A = &(q0,1) = {q0}
--------------+-------+-------+
              |   B   |   C   | B = &(q0,0) U &(q1,0) = {q0,q1} U {}
  B = {q0,q1} |       |       |
              |{q0,q1}|{q0,q2}| C = &(q0,1) U &(q1,1) = {q0} U {q2} = {q0,q2}
--------------+-------+-------+
              |   B   |   A   | B = &(q0,0) U &(q2,0) = {q0,q1}  U {}
* C = {q0,q2} |       |       |
              |{q0,q1}| {q0}  | A = &(q0,1) U &(q2,1) = {q0} U {} = {q0}
--------------+-------+-------+


    | 0 | 1 |
----+---+---+
->A | B | A |
----+---+---+
  B | B | C |
----+---+---+
* C | B | A |
----+---+---+