[sc34wg3] FYI: Yet another TMRM Formalization (well, not really)

[Robert Barta]

Hi all,

FYI, this is our current working paper here to capture "the essence of
TMs".

It is quite TMRMish, although it may not appear so at first sight. Main ideas:

  - Look Ma, no topics! (Topics are for whimps :-)))

  - Look Ma, no identity! (Identity is for TMCL freaks :-)

  - Look Ma, a path language! (path languages are for TMQL freaks).

Note: This document is a preview for this group and may change any
moment.

\rho