utm/turing_basic.thy
Mon, 15 Oct 2012 13:23:52 +0000 zhang Some illustration added together with more explanations.
Sat, 29 Sep 2012 12:38:12 +0000 zhang Initial upload of the formal construction of Universal Turing Machine.
less more (0) tip