Dr David McGrath

Dr David McGrath

Dr David McGrath

Spine Physician

MB BS (Hons) FAFOM, RACP, FAFMM
Master of Pain Medicine


 

 

(5,6)=30 (5 State, 6 Symbol) UTM for "machine"Y
Symbol StateA  State B StateD State C StateD 
x x/X             1 x/Z            2 x/Z              2 x/X        1 y/y0
z z/X             3 z/Z            4 z/Z              4 z/X         3 y/y0
xx  xx/X        1@1=1(x) xx/Z     1@2=2(x) xx/Z        2@2=2(x) xx/X   2@1=1(x) HALT
xz xz/X        1@3=1(z) xz/Z     1@4=2(z) xz/Z        2@4=2(z) xz/X   2@3=1(z) HALT
zx zx/X        3@1=3(x) zx/Z     3@2=4(x) zx/Z        4@2=4(x) zx/X   4@1=3(x) HALT
zz zz/X        3@3=3(z) zz/Z     3@4=4(z) zz/Z        4@4=4(z) zz/X   4@3=3(z) HALT

 Basically, write symbol,move disturbance to X,Z and maintain universal state 

 

2 State,20 Symbol UTM
Symbol  A A A
a@b=ab Replace Print Disturb
10 10 NIL X
11 10 x X
13 10 z X
31 30 x X
33 30 z X
30 30 NIL
12 20 x Z
14 20 z Z
32 40 x Z
34 40 z
21 10 x X
23 10 z X
41 30 x X
43 30 z
20 20 NIL Z
22 20 x Z
24 20 z Z
42 40 x Z
44 40 z Z
40 40 NIL Z

 

Caley Table with Added State 

    1 (X) 2 (Z) 3 (X) 4 (Z)
    N/State N/State N/State  N/State 
1   1  A 2 B 1 A 2 B
2   1  C 2 D 1 C 2 D
3   3  A 4 B 3 A 4 B
4   3  C 4 D 3 C 4 D

 

Caley Table with added state
  1 (X) 2(X) 3(X) 4(Z)  
           
1 1 A 2 B 1 A 2 B  
2 1 C 2 D 1 C 2 D  
3 3 A 4 B 3 A 4 B  
4 3 C 4 D 3 C 4 D  

 

Caley Table
  1 3 2 4  
1 1A 1A 2B 2B  
3 3A 3A 4B 4B  
2 1C 1C 2D 2D  
4 3C 3C 4D 4D  
           

 



©Copyright 2007 Dr David McGrath. All rights reserved