]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6a77ac) | patch
Adds transformation of generic monotape machines into machines using a binary
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 3 Oct 2013 15:07:11 +0000 (15:07 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Thu, 3 Oct 2013 15:07:11 +0000 (15:07 +0000)
commit4aa431513ffa0ce0accf81e6e9ea4b9314d468e3
treeb477b226d414c16d603e48ef497f3ce2ed9af4f4tree | snapshot
parente6a77aca8d57308626712430a5ef638b1c7c6553commit | diff
Adds transformation of generic monotape machines into machines using a binary
alphabet (first commit, doesn't typecheck)
matita/matita/lib/turing/multi_universal/binaryTM.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.