# Fichier : canevasuniverselle.txt

# CANEVAS DE LA MACHINE UNIVERSELLE AVEC TESTS POUR TP 3 ET TP 4   

# codage au départ :   uu Im u ... u I1 u IO uu oooK iu
# par la suite :       uu Im u ... u I1 u I0 uu oooK ou                           
# ou vers la fin :     uu Im u ... u I1 u I0 uu oooK uu

universelle := [

# 1.INITIALISATION
# Avancement à l'extrémité gauche de la petite tête
# Lettre A


# 2.TEST D'ARRET 
# Lettre B


# 3.LECTURE
# Lecture de x, ajout de son code au compteur,
# transformation de l'extrémité droite 'iux' en 'ouu'
# Lettre C
 

# 4.RECHERCHE DE L'INSTRUCTION
# 5.ENREGISTREMENT DE L'INSTRUCTION 
# 6.PROPAGATION DE L'INSTRUCTION A DROITE


# 7.ECRITURE
# Ecriture de x et recréation d'un 'u', c.a.d transformation de 'iix' en 'iux'
# Lettre J

  
# 8.TEST DE MOUVEMENT
# Positionnement sur la partie mouvement de l'instruction et
# transformation de 'uu' en 'uo'
# Lettre K


# 9.MOUVEMENT GAUCHE
# Décalage à gauche
# Lettre M

# Propagation de o,i,u à droite
# Lettre N
                                    

# 10.MOUVEMENT DROIT
# Propagation de o,i,u à gauche
# Lettre P

# Décalage à droite
# Lettre Q


# 11.RETOUR AU TEST D'ARRET
# Repositionnement et transformation de 'uo' en 'uu'
# Lettre R


]:





# _______________________________________________
# TESTS POUR LE TP 3

# Test d'ecriture suivie de mouvement gauche
# > sur(universelle,[J0,iiuuioiiuoioiiuuo,oooiiuii],
# > [B0,o],[B0,i],[B0,u],[K0,u],[M0u,u],[Mu,u],[N0,u],[P0,o],[P0,i],[P0,o],[R0,u]);
# 
#                  0, [J0, iiuuioiiuoioiiuuo, oooiiuii]
#                 12, [K0, iiuuioiiuoioiiu, uooooiuoii]
#                 37, [M0u, ii, uioiiuoioiiuoooooiuuoii]
#                 66, [R0, iuuioiiuoioii, uoooooiuioii]
#                 68, [B0, iuuioiiuoioiiuu, ooooiuioii]
#                               ooooiuioii


# Test d'ecriture suivie de mouvement droit
# > sur(universelle,[J0,iiuuioiiuoioiiuui,oooiiuii],
# > [B0,o],[B0,i],[B0,u],[K0,u],[M0u,u],[Mu,u],[N0,u],[P0,o],[P0,i],[P0,o],[R0,u]);
# 
#                  0, [J0, iiuuioiiuoioiiuui, oooiiuii]
#                 12, [K0, iiuuioiiuoioiiu, uioooiuoii]
#                 19, [P0, iiuuioiiuoioiiuoooooiu, oii]
#                 66, [R0, iiouuioiiuoioii, uoooooiuii]
#                 68, [B0, iiouuioiiuoioiiuu, ooooiuii]
#                               ooooiuii


# Tests complementaires
# > sur(universelle,[J0,iiuuioiiuoioiiuuo,iooiiuii],[B0,o],[B0,i],[B0,u]);
# > sur(universelle,[J0,iiuuioiiuoioiiuuo,oioiiuii],[B0,o],[B0,i],[B0,u]);
# > sur(universelle,[J0,iiuuioiiuoioiiuui,iooiiuii],[B0,o],[B0,i],[B0,u]);
# > sur(universelle,[J0,iiuuioiiuoioiiuui,oioiiuii],[B0,o],[B0,i],[B0,u]);
# 
#                   0, [J0, iiuuioiiuoioiiuuo, iooiiuii]
#                 68, [B0, iuuioiiuoioiiuu, ooooiuiiii]
#                               ooooiuiiii
# 
#                  0, [J0, iiuuioiiuoioiiuuo, oioiiuii]
#                 68, [B0, iuuioiiuoioiiuu, ooooiuiuii]
#                               ooooiuiuii
# 
#                  0, [J0, iiuuioiiuoioiiuui, iooiiuii]
#                 68, [B0, iiiuuioiiuoioiiuu, ooooiuii]
#                                ooooiuii
# 
#                  0, [J0, iiuuioiiuoioiiuui, oioiiuii]
#                 68, [B0, iiuuuioiiuoioiiuu, ooooiuii]
#                                ooooiuii


# _______________________________________________
# TESTS POUR LE TP 4

# > sur(universelle,[A0,oo,uuioiiuoioiiuuoooiiiiuoo],
# > [B0,o],[B0,i],[B0,u],[C0,o],[C0,i],[C0,u]);
# > sur(universelle,[A0,oo,uuioiiuoioiiuuoooiiooiuoo],
# > [B0,o],[B0,i],[B0,u],[C0,o],[C0,i],[C0,u]);
# > sur(universelle,[A0,oo,uuioiiuoioiiuuoooiiooiuio],
# > [B0,o],[B0,i],[B0,u],[C0,o],[C0,i],[C0,u]);
# > sur(universelle,[A0,oo,uuioiiuoioiiuuoooiiooiuuo],
# > [B0,o],[B0,i],[B0,u],[C0,o],[C0,i],[C0,u]);

#                0, [A0, oo, uuioiiuoioiiuuoooiiiiuoo]
#                14, [B0, oouuioiiuoioiiuu, oooiiiiuoo]
#               22, [Fin, oouuioiiuoioiiuuoooiiiiu, oo]
#                                  oo

#                0, [A0, oo, uuioiiuoioiiuuoooiiooiuoo]
#               14, [B0, oouuioiiuoioiiuu, oooiiooiuoo]
#               20, [C0, oouuioiiuoioiiuuoooiio, oiuoo]
#               21, [C0, oouuioiiuoioiiuuoooiioo, iuoo]
#               22, [C0, oouuioiiuoioiiuuoooiiooi, uoo]
#               26, [D2u, oouuioiiuoioiiuuoooiiooo, uuo]
#                                 uuo

#                0, [A0, oo, uuioiiuoioiiuuoooiiooiuio]
#               14, [B0, oouuioiiuoioiiuu, oooiiooiuio]
#               20, [C0, oouuioiiuoioiiuuoooiio, oiuio]
#               21, [C0, oouuioiiuoioiiuuoooiioo, iuio]
#               22, [C0, oouuioiiuoioiiuuoooiiooi, uio]
#               40, [C0, oouuioiiuoioiiuuoooooi, oiuoo]
#               41, [C0, oouuioiiuoioiiuuoooooio, iuoo]
#               42, [C0, oouuioiiuoioiiuuoooooioi, uoo]
#               46, [D2u, oouuioiiuoioiiuuoooooioo, uuo]
#                                 uuo

#                0, [A0, oo, uuioiiuoioiiuuoooiiooiuuo]
#               14, [B0, oouuioiiuoioiiuu, oooiiooiuuo]
#               20, [C0, oouuioiiuoioiiuuoooiio, oiuuo]
#               21, [C0, oouuioiiuoioiiuuoooiioo, iuuo]
#               22, [C0, oouuioiiuoioiiuuoooiiooi, uuo]
#               40, [C0, oouuioiiuoioiiuuoooooi, oiuio]
#               41, [C0, oouuioiiuoioiiuuoooooio, iuio]
#               42, [C0, oouuioiiuoioiiuuoooooioi, uio]
#               58, [C0, oouuioiiuoioiiuuoooi, oioiuoo]
#               59, [C0, oouuioiiuoioiiuuoooio, ioiuoo]
#               60, [C0, oouuioiiuoioiiuuoooioi, oiuoo]
#               61, [C0, oouuioiiuoioiiuuoooioio, iuoo]
#               62, [C0, oouuioiiuoioiiuuoooioioi, uoo]
#               66, [D2u, oouuioiiuoioiiuuoooioioo, uuo]
#                                 uuo