Hola,
Un autómata de dos cintas acepta un par (x,y) si se llega a un estado final pero además se consumieron ambas tiras en su totalidad. En tu caso llegas a un estado final, pero todavía te falta consumir un elemento de una de las tiras, entonces el autómata rechaza el par (acba,aac). Además, esto también pasa para los autómatas finitos en general (es necesario consumir toda la tira para ver en qué estado queda).
Cualquier cosa consulta de nuevo
saludos!