[Teórico] Homomorfismo + Automáta de 2 cintas