Prev: a question regards propositional modal logic
Next: Anyone wanna help with a compression routine (new type)
From: r.e.s. on 19 Nov 2007 17:45
I've posted an article at

http://geocities.com/r_e_s_01/cmm/

showing how the Cocke-Minsky scheme for simulating
2-symbol TMs by 2-tag systems can be extended to
simulate k-symbol TMs by k-tag systems.

Included are a few applications to some small UTMs,
with the curiosity of deriving rather obese, yet
"smallest"-known (!), universal tag systems.

Comments are welcome.

--r.e.s.

 | 
Pages: 1
Prev: a question regards propositional modal logic
Next: Anyone wanna help with a compression routine (new type)