Hola,
Estamos haciendo el examen de Febrero 2016 y en el ejercicio 4 parte b pide un diagrama de 2 cintas.
La letra del ejercicio dice:
b) Construya un autómata de dos cintas para el siguiente lenguaje:
L_4={ (x$,y$) / x,y pertenece {i,v}*, 2|x|_i = |y|_v }
El hecho es que en la solución de ese examen aparece un autómata que (creemos) está mal. Creemos primero que se confunde 2|x_i|=|y_i| con |x_i|=2|y_i| pero así mismo no cumple porque reconocería, por ejemplo a (ii$,i$) que no pertenece a L_4.
Por favor, alguien podrá corregir o confirmar lo que escribo? Muchas gracias!