# A PROPOS DE LA MACHINE VIDE 

# Les instructions codées ne sont pas séparées par des u 
# mais terminées par des u. De ce fait si on lance 
# code(machinevide) on obient uuuoooiu et non pas uuuuoooiu 
# Il s'ensuit que le module d'initialisation s'écrit
#                                   [A0,u,u,A1,+1],
# [A1,o,o,A1,+1],  [A1,i,i,A1,+1],  [A1,u,u,A2,+1],
# [A2,o,o,A1,+1],  [A2,i,i,A1,+1],  [A2,u,u,B0,+1],
#
# et non pas
#                                   [A0,u,u,A1,+1],
#                                   [A1,u,u,A2,+1],
# [A2,o,o,A2,+1],  [A2,i,i,A2,+1],  [A2,u,u,A3,+1],
# [A3,o,o,A2,+1],  [A3,i,i,A2,+1],  [A3,u,u,B0,+1],


# TESTS SUPPLEMENTAIRES POUR AIDER A LA MISE AU POINT DE UNIVERSELLE

# Note: Si vous utilisez l'état Mu au lieu de M0u, changer, dans ce qui
# suit, toutes les occurences de M0u en Mu.

sur(universelle,cat(code(machinevide),io),
[A0,u],[B0,o],[D2u,u],[J0,o],[J0i],[M0u,u],[P0,u],[R1,o]);

# 0   [A0, ``, uuuoooiuio]
# 3   [B0, ``, oooiuio]
# 8   [Fin, oooiu, io]
# io

sur(universelle,cat(code(complement),u),
[A0,u],[B0,o],[D2u,u],[J0,o],[J0i],[M0u,u],[P0,u],[R1,o]);

# 0   [A0, ``, uuioiiiiuoioiiuoooiiuooiiiuioouiiouuooooooi]
# 36   [B0, ioiiiiuoioiiuoooiiuooiiiuioouiiouu, ooooooi]
# 83   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouiiouuooooioo, u]
# 100   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouiiouoooiooo, u]
# 168   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouooooooo, uiio]
# 571   [J0, ioiiiiuoioiiuoooiiuooiiiuioouiiouuo, oiiioii]
# 638   [M0u, ``, uioiiiiuoioiiuoooiiuooiiiuioouiiouooooiioi]
# 694   [R1, ioiiiiuoioiiuoooiiuooiiiuioouiiou, ooooiioi]
# 695   [B0, ioiiiiuoioiiuoooiiuooiiiuioouiiouu, oooiioi]
# 742   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouiiouuoooioio, u]
# 759   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouiiouoooooio, u]
# 827   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouoooiioo, uiio]
# 895   [D2u, ioiiiiuoioiiuoooiiuooiiiuooooioo, uioouiio]
# 997   [D2u, ioiiiiuoioiiuoooiiuoooiooo, uooiiiuioouiio]
# 1099   [D2u, ioiiiiuoioiiuooooooo, uoooiiuooiiiuioouiio]
# 1876   [J0, ioiiiiuoioiiuoooiiuooiiiuioouiiouui, oiiiiii]
# 1901   [P0, ioiiiiuoioiiuoooiiuooiiiuioouiiouooooiiiiu, u]
# 1999   [R1, ioiiiiuoioiiuoooiiuooiiiuioouiiou, ooooiiii]
# 2000   [B0, ioiiiiuoioiiuoooiiuooiiiuioouiiouu, oooiiii]
# 2008   [Fin, ioiiiiuoioiiuoooiiuooiiiuioouiiouuoooiiiiu, u]
# u

sur(universelle,cat(code(complement),io),
[A0,u],[B0,o],[D2u,u],[J0,o],[J0i],[M0u,u],[P0,u],[R1,o]);

# 0   [A0, ``, uuioiiiiuoioiiuoooiiuooiiiuioouiiouuooooooiuio]
# 36   [B0, ioiiiiuoioiiuoooiiuooiiiuioouiiouu, ooooooiuio]
# 65   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouiiouuoooiooo, uuo]
# 82   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouiiouooooooo, uuuo]
# 349   [J0, ioiiiiuoioiiuoooiiuooiiiuioouiiouui, oooooiiuo]
# 472   [R1, ouuioiiiiuoioiiuoooiiuooiiiuioouiiou, oooooooiuo]
# 473   [B0, ouuioiiiiuoioiiuoooiiuooiiiuioouiiouu, ooooooiuo]
# 484   [D2u, ouuioiiiiuoioiiuoooiiuooiiiuioouiiouuooooooo, u]
# 755   [R1, oiuuioiiiiuoioiiuoooiiuooiiiuioouiiou, oooooooi]
# 756   [B0, oiuuioiiiiuoioiiuoooiiuooiiiuioouiiouu, ooooooi]
# 803   [D2u, oiuuioiiiiuoioiiuoooiiuooiiiuioouiiouuooooioo, u]
# 820   [D2u, oiuuioiiiiuoioiiuoooiiuooiiiuioouiiouoooiooo, u]
# 888   [D2u, oiuuioiiiiuoioiiuoooiiuooiiiuioouooooooo, uiio]
# 1291   [J0, oiuuioiiiiuoioiiuoooiiuooiiiuioouiiouuo, oiiioii]
# 1358   [M0u, oi, uioiiiiuoioiiuoooiiuooiiiuioouiiouooooiioi]
# 1414   [R1, ouuioiiiiuoioiiuoooiiuooiiiuioouiiou, ooooiioiui]
# 1415   [B0, ouuioiiiiuoioiiuoooiiuooiiiuioouiiouu, oooiioiui]
# 1444   [D2u, ouuioiiiiuoioiiuoooiiuooiiiuioouiiouuoooooio, u]
# 1461   [D2u, ouuioiiiiuoioiiuoooiiuooiiiuioouiiouoooiioo, u]
# 1529   [D2u, ouuioiiiiuoioiiuoooiiuooiiiuioouooooioo, uiio]
# 1597   [D2u, ouuioiiiiuoioiiuoooiiuooiiiuoooiooo, uioouiio]
# 1699   [D2u, ouuioiiiiuoioiiuoooiiuooooooo, uooiiiuioouiio]
# 2407   [M0u, o, uioiiiiuoioiiuoooiiuooiiiuioouiiouooooiioiuui]
# 2463   [R1, ioiiiiuoioiiuoooiiuooiiiuioouiiou, ooooiioiuoi]
# 2464   [B0, ioiiiiuoioiiuoooiiuooiiiuioouiiouu, oooiioiuoi]
# 2475   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouiiouuoooiioo, uui]
# 2492   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouiiouooooioo, uuui]
# 2560   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouoooiooo, uiiouuui]
# 2628   [D2u, ioiiiiuoioiiuoooiiuooiiiuooooooo, uioouiiouuui]
# 3167   [J0, ioiiiiuoioiiuoooiiuooiiiuioouiiouuo, ooiioiiui]
# 3234   [M0u, ``, uioiiiiuoioiiuoooiiuooiiiuioouiiouooooiioiuuoi]
# 3290   [R1, ioiiiiuoioiiuoooiiuooiiiuioouiiou, ooooiioiuuoi]
# 3291   [B0, ioiiiiuoioiiuoooiiuooiiiuioouiiouu, oooiioiuuoi]
# 3338   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouiiouuoooioio, uuoi]
# 3355   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouiiouoooooio, uuuoi]
# 3423   [D2u, ioiiiiuoioiiuoooiiuooiiiuioouoooiioo, uiiouuuoi]
# 3491   [D2u, ioiiiiuoioiiuoooiiuooiiiuooooioo, uioouiiouuuoi]
# 3593   [D2u, ioiiiiuoioiiuoooiiuoooiooo, uooiiiuioouiiouuuoi]
# 3695   [D2u, ioiiiiuoioiiuooooooo, uoooiiuooiiiuioouiiouuuoi]
# 4472   [J0, ioiiiiuoioiiuoooiiuooiiiuioouiiouui, oiiiiiiuoi]
# 4497   [P0, ioiiiiuoioiiuoooiiuooiiiuioouiiouooooiiiiu, uoi]
# 4595   [R1, ioiiiiuoioiiuoooiiuooiiiuioouiiou, ooooiiiiuoi]
# 4596   [B0, ioiiiiuoioiiuoooiiuooiiiuioouiiouu, oooiiiiuoi]
# 4604   [Fin, ioiiiiuoioiiuoooiiuooiiiuioouiiouuoooiiiiu, oi]
# oi