hola:
sé que estoy pesado con la notación, pero por algo esta asignatura se llama "teoría de": ambos símbolos "|" y "+" denotan la "unión" de expresiones regulares, pero no tiene sentido mezclarlos, o se usa uno o se usa el otro. en particular, para las ecuaciones me resulta más natural el "+".
dicho lo anterior, y sin entrar mucho en modo corrección:
1) las ecuaciones de los estados finales son las únicas que llevan un "+ épsilon". q2 no es final según tu dibujo (y sí lo sería q3, que no lo tiene).
2) de X2 a X2 (con una flechita) transformaste un "+" en un ".", lo que es incorrecto.
3) ¿tal vez para alivianar la notación se podrían quitar paréntesis? a.(a*(bXo)) no deja de ser aa*b.Xo
saludos,
d.-