Devoir 4 pour le 5 juin2006
1. Ecrivez une machine de Turing d´eterministe qui prend le mot w a droite de la tˆete et le d´ecale d’une case a droite, en mettant un symbole sp´ecial, #, dans la case lib´er´ee et s’arrˆete avec la tˆete sur cette case (attention, # pourrait apparaˆıtre dansw). Vous pouvez (devez?) ajouter des symboles `a Γ.
2. Comment peut-on utiliser la machine construite dans la premi`ere partie comme routine `a l’int´erieur d’une autre machine de Turing? Que faut-il changer, de quoi faut-il s’assurer?
Etc...
1