equal
deleted
inserted
replaced
54 In this paper |
54 In this paper |
55 |
55 |
56 |
56 |
57 |
57 |
58 |
58 |
59 |
59 ``In particular, the fact that the universal machine operates with a |
60 \cite{AspertiRicciotti12} |
60 different alphabet with respect to the machines it simulates is |
|
61 annoying.'' he writes it is preliminary work \cite{AspertiRicciotti12} |
61 |
62 |
62 |
63 |
63 Our formalisation follows XXX |
64 Our formalisation follows \cite{Boolos87} |
64 |
65 |
65 \noindent |
66 \noindent |
66 {\bf Contributions:} |
67 {\bf Contributions:} |
|
68 |
|
69 *} |
|
70 |
|
71 section {* Formalisation *} |
|
72 |
|
73 text {* |
67 |
74 |
68 *} |
75 *} |
69 |
76 |
70 |
77 |
71 section {* Wang Tiles *} |
78 section {* Wang Tiles *} |