NDTM-06.nb
NDTM-07.nb
NDTM-08.nb
NDTM-09.nb
NDTM-10--123.nb
NDTM-11--computation.nb
NDTM-12-multispace.nb
NDTM-13-multispace.nb
NDTM-14-halting.nb
NDTM-15.nb
NDTM-16.nb
NDTM-17.nb
NDTM-18.nb
NDTM-19-MA.nb
NDTM-20-summary.nb
NDTM-21-tapes.nb
NDTM-22.nb
NDTM-23.nb
NDTM-24.nb
Observers-01.nb
TagSystems-02.nb
TagSystems-03.nb