Mercurial Mercurial > hg > tm / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated paper
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 07 Feb 2013 03:40:23 +0000
changeset 151 0941e450e8c2
parent 150 3c504ca0ce95
child 152 2c0d79801e36
updated paper
Paper/Paper.thy file | annotate | diff | comparison | revisions 
--- a/Paper/Paper.thy	Thu Feb 07 03:37:02 2013 +0000
+++ b/Paper/Paper.thy	Thu Feb 07 03:40:23 2013 +0000
@@ -1369,7 +1369,7 @@
 
   Analysing the universal Turing machine constructed in \cite{Boolos87} more carefully
   we can strengthen this result slightly by observing that @{text m} is at most
-  2 in the output tape. This observation allows one to construct a UTM that works
+  2 in the output tape. This observation allows one to construct a universal Turing machine that works
   entirely on the left-tape by composing it with a machine that drags the tape
   two cells to the right. A corollary is that one-sided Turing machines (where the
   tape only extends to the right) are computationally as powerful as our two-sided
tm