Buscamos desde el estado inicial todos los estados que tienen transición con la cadena vacia

{ q0q3q4q5q7q8q10q11 }

Este será nuestro primer conjunto inicial de estados

Para cada uno de los estados del conjunto anterior, revisamos cuales tienen transición con la letra a

a b c
q0q3q4q5q7q8q10q11 q1
Luego para cada uno de los estados del conjunto anterior, revisamos cuales tienen transición con la letra b

Tomamos q11 debido a que estando en q9 con cadena vacía puede pasar a q11

a b c
q0q3q4q5q7q8q10q11 q1 q9q11

Luego para cada uno de los estados del conjunto anterior, revisamos cuales tienen transición con la letra c

Agregamos q5 y q8 debido a que estando en q6 tengo transicion con cadena vacía.

a b c
q0q3q4q5q7q8q10q11 q1 q9q11 q6q5q8

Ahora deberemos calcular las transiciones para los nuevos conjuntos de estados que acabamos de encontrar.

a b c
q0q3q4q5q7q8q10q11 q1 q9q11 q6q5q8
q1
 q9q11
q6q5q8

Calculamos primero para el conjunto conformado por { q1 }

Con a no tenemos ninguna transición

Con c tampoco tenemos transcion

Con b tenemos las siguientes transiciones

a b c
q0q3q4q5q7q8q10q11 q1 q9q11 q6q5q8
q1 ----- q2q0q4q11 -----
q9q11
q6q5q8

Ahora validamos para el otro conjunto { q9q11 }

No tenemos ninguna transición ni con a ni b ni c

a b c
q0q3q4q5q7q8q10q11 q1 q9q11 q6q5q8
q1 ----- q2q0q4q11 -----
q9q11 ----- ----- -----
q6q5q8

Ahora validamos para el otro conjunto { q6q5q8 }

Con a no tenemos ninguna transición

Con b tenemos transición de q8 a q9 y este a su vez pasa a q11 con la cadena vacia
 a b c
q0q3q4q5q7q8q10q11 q1 q9q11 q6q5q8
q1 ----- q2q0q4q11 -----
q9q11 ----- ----- -----
q6q5q8 ----- q9q11

Con c tenemos transición de q5 a q6 y este a su vez tiene transición con cadena vacia a q8 y q5

a b c
q0q3q4q5q7q8q10q11 q1 q9q11 q6q5q8
q1 ----- q2q0q4q11 -----
q9q11 ----- ----- -----
q6q5q8 ----- q9q11 q6q5q8

De la tabla de transición que generamos, revisamos si nos hace falta validar algún otro conjunto de estados,
encontrando el conjunto { q2q0q4q11 }
Con a encontramos que hay una transición a q1

a b c
q0q3q4q5q7q8q10q11 q1 q9q11 q6q5q8
q1 ----- q2q0q4q11 -----
q9q11 ----- ----- -----
q6q5q8 ----- q9q11 q6q5q8
q2q0q4q11 q1

Con b y con c no encontramos ninguna transición

a b c
q0q3q4q5q7q8q10q11 q1 q9q11 q6q5q8
q1 ----- q2q0q4q11 -----
q9q11 ----- ----- -----
q6q5q8 ----- q9q11 q6q5q8
q2q0q4q11 q1 ----- -----

Al ya no tener conjuntos de estados por validar, renombramos cada conjunto por un nuevo nombre de estado e
identificamos cuales serán nuestros estados de aceptación acorde a los conjuntos que contengan los estados de
aceptación iniciales.

a b c
q0 q0q3q4q5q7q8q10q11 q1 q9q11 q6q5q8
q1 q1 ----- q2q0q4q11 -----
q2 q9q11 ----- ----- -----
q3 q6q5q8 ----- q9q11 q6q5q8
q4 q2q0q4q11 q1 ----- -----
Quedando nuestra tabla de la siguiente forma

a b c
q0* q1 q2 q3
q1 ----- q4 -----
q2* ----- ----- -----
q3 ----- q2 q3
q4* q1 ----- -----

Acorde a esta tabla, realizamos el diagrama de transición correspondiente.