Toutes les tables de la UMachine sont détaillées ici.

Turing utilise la table squelette présentée à la section 4 et qui sert à trouver ("find") le symbole α et passer à la m-configuration C ou à la m-config. B si α n'est pas trouvé :

  m-config.  symbole   opérations  m-config.

  f(C,B,α)   ə             L       f1(C,B,α)

  f(C,B,α)   sinon         L       f(C,B,α)

  f1(C,B,α)  α                     C

  f1(C,B,α)  pas α         R       f1(C,B,α)

  f1(C,B,α)  vide          R       f2(C,B,α)

  f2(C,B,α)  α                     C

  f2(C,B,α)  pas α         R       f1(C,B,α)

  f2(C,B,α)  vide          R       B

Ainsi que les tables squelettes suivantes pour effacer α :

  e(C,B,α)                         f(e1(C,B,α),B,α)

  e1(C,B,α)                E       C

On voit ici que "e1(C,B,α)" est la valeur du C de la m-fonction "f(C,B,α)".

Il utilise aussi une autre version de la m-fonction e, celle-ci à 2 variables qui boucle pour effacer tous les α puis aller à B au lieu de C :

  e(B,α)                           e(e(B,α),B,α)

Avec ces 2 m-fonctions précédentes, Turing utilise aussi :

  e(b,x)                           e(e(b,x),b,x)

et

  q                                e(q,b,x)

Turing poursuit avec les autres tables squelettes qu'exécute la UMachine.

m-config.    symbole   opérations  m-config.

pe(C,β)                            f(pe1(C,β),C,ə)

pe1(C,β)     pas vide     R,R      pe1(C,β)

pe1(C,β)     vide         Pβ       C

l(C)                      L        C

r(C)                      R        C

f'(C,B,α)                          f(l(C),B,α)

f"(C,B,α)                          f(r(C),B,α)

c(C,B,α)                           f'(c1(C),B,α)

c1(C)          β                   pe(C,β)

ce(C,B,α)                          c(e(C,B,α),B,α)

ce(B,α)                            ce(ce(B,α),B,α)

re(C,B,α,β)                        f(re1(C,B,α,β),B,α)

re1(C,B,α,β)              E,Pβ     C

re(B,α,β)                          re(re(B,α,β),B,α,β)

cr(C,B,α)                          c(re(C,B,α,α),B,α)

cr(B,α)                            cr(cr(B,α),re(B,α,α),α)

cp(C,U,E,α,β)                      f'(cp1(C1,U,β),f(U,E,β),α)

cp1(C1,U,β)    γ                   f'(cp2(C,U,γ),U,β)

cp2(C,U,γ)     γ                   C

cp2(C,U,γ)   pas γ                 U

cpe(C,U,E,α,β)                     cp(e(e(C,C,β),C,α),U,E,α,β)

cpe(U,E,α,β)                       cpe(cpe(U,E,α,β),U,E,α,β)

q(C)         pas vide     R        q(C)

q(C)         vide         R        q1(C)

q1(C)        pas vide     R        q(C)

q1(C)        vide                  C

q(C,α)                             q(q1(C,α))

q1(C,α)        α                   C

q1(C,α)      pas α        L        q1(C,α)

pe2(C,α,β)                         pe(pe(C,β),α)

ce2(B,α,β)                         ce(ce(B,β),α)

ce3(B,α,β,γ)                       ce(ce2(B,β,γ),α)

e(C)           ə          R        e1(C)

e(C)         pas ə        R        e(C)

e1(C)        pas vide     R,E,R    e1(C)

e1(C)        vide                  C

Pour U, Turing a aussi besoin de la table squelette subsidiaire suivante à la section 7 :

m-config. symbole opérations  m-config.

con(C,α)   pasA     R,R       con(C,α)

con(C,α)    A       L,Pα,R    con1(C,α)

con1(C,α)   A       R,Pα,R    con1(C,α)

con1(C,α)   D       R,Pα,R    con2(C,α)

con2(C,α)   C       R,Pα,R    con2(C,α)

con2(C,α)  pasC     R,R       C

Voici finalement les m-configuraions de la table de la UMachine qui utilisent les tables squelettes précédentes :

    b                         f(b1,b1,::)   > les '::' étant un seul symbole

    b1  R,R,P:,R,R,PD,R,R,PA  anf

   anf                        q(anf1,:)

   anf1                       con(tom,y)

   tom    ;       R,Pz,L      con(tmp,x)

   tom    z       L,L         tom

   tom  pasZ ni;  L           tom

   tmp                        cpe(e(tom,x,y),sim,x,y)

   sim                        f'(sim1,sim1,z)

   sim1                       con(sim2,)

   sim2   A                   sim3

   sim2   pas A   R,Pu,R,R,R  sim2

   sim3   pas A   L,Py        e(mf,z)

   sim3   A       L,Py,R,R,R  sim3

   mf                         q(mf,:)

   mf1    pas A   R,R         mf1

   mf1    A       L,L,L,L     mf2

   mf2    C       R,Px,L,L,L  mf2

   mf2    :                   mf4

   mf2    D       R,Px,L,L,L  mf3

   mf3    pas :   R,Px,L,L,L  mf3

   mf3    :                   mf4

   mf4                        con(l(l(mf5)),)

   mf5  pas vide  R,Pw,R      mf5

   mf5    vide    P:          sh

   sh                         f(sh1,inst,u)

   sh1            L,L,L       sh2

   sh2    D       R,R,R,R     sh2

   sh2    pas D               inst

   sh3    C       R,R         sh4

   sh3    pas C               inst

   sh4    C       R,R         sh5

   sh4    pas C               pe2(inst,0,:)

   sh5    C                   inst

   sh5    pas C               pe2(inst,1,:)

   inst                       q(l(inst1,u))

   inst1  α       R,E         inst1(α)

  inst1(L)                    ce5(ov,v,y,x,u,w)

  inst1(N)                    ce5(ov,v,y,x,u,w)

  inst1(R)                    ec5(ov,v,y,x,u,w)

   ov                         e(anf)

Attention : les tables de l'article de Turing comportent des erreurs, surtout typographiques, qui doivent être connues pour tout comprendre de la UMachine.