hola:
perdón, yo me mareé con el estado inicial; pensé que era en la primera cinta pero, como bien indica el diagrama, es en la segunda. en ese caso la solución está bien.
"Al validar una letra d en el estado Q3^2, no faltaría validar la segunda c luego de haber leído un b" -> puede ser difícil de ver, pero la primera c es la que se consume de q20 a q11 (fijate que en ese caso no hay una letra a para validar la c que leíste y se valida contra una b yendo a q22) y la segunda c se lee de q22 a q23.
entonces q23 es, precisamente, el estado donde queda saldado q (1b = 2c). en ese estado pueden pasar dos cosas, o bien viene una c (luego, preciso leer otra c y una b para hacer 2c=1b), o bien una d, en cuyo caso solo me quedan bes contra des (yendo a q15).
saludos,
d.-
