The tm Reference Manual

tm.asd.

tm (system).

tm.

tm.asd.

package-def (module).

tm.

tm.asd.

package-def (module).

• access-through-parked-head (condition).
• alloc-fail (condition).
• not-implemented (condition).
• operation-on-abandoned (condition).
• use-of-empty (condition).

• bad-init-value (condition).
• binner-no-such-bin (condition).
• dealloc-collision (condition).
• dealloc-last (condition).
• dealloc-on-rightmost (condition).
• dealloc-parked (condition).
• dequeue-from-empty (condition).
• impossible-to-get-here (condition).
• left-dealloc-on-leftmost (condition).
• non-function-continuation (condition).
• not-ready (condition).
• object-not-tape-machine (condition).
• step-from-rightmost (condition).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• text (reader method).
• use-of-o (condition).
• worker-must-have-src-or-dst (condition).
• δ-malformed-access-program (condition).
• δ-required-arg-missing (condition).
• δ-unrecognized-command (condition).

tm.asd.

src-0 (module).

• def-function-class (macro).
• def-type (macro).
• defsynonym (macro).
• defun-typed (macro).
• nl (function).
• string≠ (macro).
• string≤ (macro).
• string≥ (macro).
• ¬ (macro).
• λ (macro).
• ∅ (constant).
• ∧ (macro).
• ∨ (macro).
• ≠ (macro).
• ≤ (macro).
• ≥ (macro).

tm.asd.

src-0 (module).

• l (macro).
• o (function).
• q (macro).
• unwrap (function).

• has-to-open-mark (function).
• meta-q (function).
• meta-wrap (function).
• meta-wrap-gather (function).
• meta-wrap-relay (function).
• remove-mark (function).
• wrap (function).

tm.asd.

src-0 (module).

• braces-reader-macro (function).
• brackets-reader-macro (function).

tm.asd.

src-0 (module).

• access-through-parked-head (function).
• alloc-fail (function).
• be (function).
• boolify (function).
• box (macro).
• box (structure).
• cant-happen (function).
• do-nothing (function).
• echo (function).
• not-implemented (function).
• notλ (function).
• operation-on-abandoned (function).
• remove-key-pair (function).
• remove-key-pairs (function).
• unbox (function).
• (setf unbox) (function).
• use-of-empty (function).

• box-p (function).
• box-read (reader).
• (setf box-read) (writer).
• box-write (reader).
• (setf box-write) (writer).
• consume-key (function).
• copy-box (function).
• make-box (function).

tm.asd.

src-test (module).

• *prins-lock* (special variable).
• *prins-on* (special variable).
• prins (macro).
• turn-off-prins (function).
• turn-on-prins (function).

tm.asd.

src-test (module).

• *log-default-file-name* (special variable).
• print-to-log (function).
• test-all (function).
• test-all-and-self (function).
• test-hook (macro).
• test-remove (macro).

• *test-routines* (special variable).
• example-exception-test (function).
• example-fail-test (function).
• example-illegal-test (function).
• example-pass-test (function).
• test (function).

tm.asd.

src-list (module).

• init (generic function).
• mk (function).
• tape-machine (class).

tm.asd.

src-list (module).

• -s* (generic function).
• a (generic function).
• esr (generic function).
• esw (generic function).
• on-leftmost (generic function).
• on-rightmost (generic function).
• r (generic function).
• s (generic function).
• tape-length-is-one (generic function).
• tape-length-is-two (generic function).
• w (generic function).

• e-s*r (generic function).
• e-s*sr (generic function).
• e-s*sw (generic function).
• e-s*w (generic function).

tm.asd.

src-list (module).

• as (generic function).
• s* (generic function).

• a&s* (generic function).
• as&s* (generic function).

tm.asd.

src-list (module).

• always-false (function).
• always-true (function).
• ∀ (generic function).
• ∀* (generic function).
• ∃ (generic function).
• ∃* (generic function).
• ⟳ (function).

• -s*∀ (generic function).
• -s*∀* (generic function).
• -s*∃ (generic function).
• -s*∃* (generic function).

tm.asd.

src-list (module).

• a* (generic function).
• as* (generic function).
• asn (generic function).
• equiv (generic function).
• sn (generic function).
• w* (generic function).

tm.asd.

src-list (module).

• init (method).
• list-tm (class).

• head (reader method).
• (setf head) (writer method).
• tape (reader method).
• (setf tape) (writer method).

tm.asd.

src-list (module).

• -s* (method).
• a (method).
• esr (method).
• esw (method).
• on-leftmost (method).
• on-rightmost (method).
• r (method).
• s (method).
• tape-length-is-one (method).
• tape-length-is-two (method).
• w (method).

• e-s*r (method).
• e-s*sr (method).
• e-s*sw (method).
• e-s*w (method).

tm.asd.

src-list (module).

• a&s* (method).
• as&s* (method).

tm.asd.

src-list (module).

• entangle (generic function).
• nd-tape-machine (class).

tm.asd.

src-list (module).

• entangled (generic function).
• heads-on-same-cell (generic function).
• s≠ (generic function).
• with-entangled (generic function).

es*a (generic function).

tm.asd.

src-list (module).

• s≠ (method).
• tm-print (generic function).
• with-entangled (method).

• es*a (method).
• tm-print-1 (function).

tm.asd.

src-list (module).

• an (generic function).
• eas* (generic function).
• esnr (generic function).
• esnw (generic function).

tm.asd.

src-list (module).

• entangle (method).
• list-nd-tm (class).

tm.asd.

src-list (module).

• entangled (method).
• heads-on-same-cell (method).
• heads-on-same-cell (method).
• heads-on-same-cell (method).

tm.asd.

src-list (module).

solo-tape-machine (class).

tm.asd.

src-list (module).

• d (generic function).
• epa (generic function).
• epd (generic function).

• update-tape-after-epa (generic function).
• update-tape-after-epd (generic function).

tm.asd.

src-list (module).

• d* (generic function).
• dn (generic function).
• filter (generic function).

tm.asd.

src-list (module).

list-solo-tm (class).

tm.asd.

src-list (module).

• d (method).
• epa (method).
• epd (method).

• update-tape-after-epa (method).
• update-tape-after-epd (method).

tm.asd.

src-list (module).

haz-tape-machine (class).

tm.asd.

src-list (module).

d. (generic function).

tm.asd.

src-list (module).

list-haz-tm (class).

tm.asd.

src-list (module).

• -a (generic function).
• -d (generic function).
• -s (generic function).

tm.asd.

src-list (module).

• binode (structure).
• binode-instance (reader).
• (setf binode-instance) (writer).
• binode-left-neighbor (reader).
• (setf binode-left-neighbor) (writer).
• binode-p (function).
• binode-right-neighbor (reader).
• (setf binode-right-neighbor) (writer).
• copy-binode (function).
• make-bilist (function).
• make-bilist-1 (function).
• make-binode (function).
• print-bilist (function).
• print-bilist-1 (function).

tm.asd.

src-list (module).

• bilist-tm (class).
• init (method).

tm.asd.

src-list (module).

• -a (method).
• -s (method).
• a (method).
• esr (method).
• esw (method).
• on-rightmost (method).
• r (method).
• s (method).
• tape-length-is-one (method).
• tape-length-is-two (method).
• w (method).

• e-s*r (method).
• e-s*sr (method).
• e-s*sw (method).
• e-s*w (method).

tm.asd.

src-list (module).

bilist-nd-tm (class).

tm.asd.

src-list (module).

tm.asd.

src-list (module).

bilist-solo-tm (class).

tm.asd.

src-list (module).

• -d (method).
• d (method).
• epa (method).
• epd (method).

tm.asd.

src-list (module).

bilist-haz-tm (class).

tm.asd.

src-list (module).

d. (method).

tm.asd.

src-list (module).

• c (generic function).
• c-fit (generic function).

tm.asd.

src-generators (module).

• -s* (method).
• decrement-to (function).
• esr (method).
• increment-to (function).
• init (method).
• mk-interval (function).
• mk-natural (function).
• on-leftmost (method).
• on-rightmost (method).
• r (method).
• recursive (class).
• s (method).
• tape-length-is-one (method).
• tape-length-is-two (method).
• w (method).

• e-s*r (method).
• e-s*sr (method).
• e-s*w (method).
• f (reader method).
• (setf f) (writer method).
• head (reader method).
• (setf head) (writer method).
• initial (reader method).
• (setf initial) (writer method).

tm.asd.

src-tr (module).

• -s* (method).
• a (method).
• d (method).
• entangle (method).
• epa (method).
• epd (method).
• esr (method).
• esw (method).
• heads-on-same-cell (method).
• heads-on-same-cell (method).
• heads-on-same-cell (method).
• init (method).
• on-leftmost (method).
• on-rightmost (method).
• r (method).
• s (method).
• w (method).

• base (reader method).
• (setf base) (writer method).
• def-identity-tr-1 (macro).
• e-s*r (method).
• e-s*w (method).
• identity-tr (class).
• identity-transform (class).

tm.asd.

src-tr (module).

• -s* (method).
• ensemble-tr (class).
• esr (method).
• esw (method).
• init (method).
• on-leftmost (method).
• on-rightmost (method).
• r (method).
• s (method).
• tape-length-is-one (method).
• tape-length-is-two (method).
• w (method).

• e-s*r (method).
• e-s*sr (method).
• e-s*sw (method).
• e-s*w (method).
• members (reader method).
• (setf members) (writer method).

tm.asd.

src-second-level (module).

• abandon (generic function).
• abandoned (class).
• active (class).
• empty (class).
• entangle (method).
• init (method).
• parked (class).
• status-tm (class).
• with-entangled (method).

• address (reader method).
• (setf address) (writer method).
• address-rightmost (reader method).
• (setf address-rightmost) (writer method).
• base (reader method).
• (setf base) (writer method).
• status-tape-machine (class).
• to-abandoned (generic function).
• to-active (generic function).
• to-empty (generic function).
• to-parked (generic function).

tm.asd.

src-second-level (module).

• entangled (method).
• p (generic function).
• tape-length-is-one (method).
• tape-length-is-two (method).
• tm-print (method).

• def-abandoned-1 (macro).
• def-empty-1 (macro).
• def-parked-1 (macro).

tm.asd.

src-second-level (module).

• p∀ (generic function).
• p∀* (generic function).
• p∃ (generic function).
• p∃* (generic function).
• ∀ (method).
• ∀ (method).
• ∀ (method).
• ∀* (method).
• ∀* (method).
• ∀* (method).
• ∃ (method).
• ∃ (method).
• ∃ (method).
• ∃* (method).
• ∃* (method).
• ∃* (method).

• -s*∀ (method).
• -s*∀ (method).
• -s*∀* (method).
• -s*∀* (method).
• -s*∃ (method).
• -s*∃ (method).
• -s*∃* (method).
• -s*∃* (method).

tm.asd.

src-second-level (module).

• d* (method).
• d* (method).
• d* (method).
• d* (method).
• filter (method).
• filter (method).

pd* (generic function).

tm.asd.

src-second-level (module).

• c (method).
• c (method).
• c (method).
• c (method).
• c (method).
• c (method).
• c (method).
• c (method).
• c (method).
• c (method).
• c (method).
• c-fit (method).
• c-fit (method).

tm.asd.

src-second-level (module).

• equiv (method).
• equiv (method).
• equiv (method).
• equiv (method).
• equiv (method).
• equiv (method).
• equiv (method).
• equiv (method).

tm.asd.

src-second-level (module).

• -s (method).
• -s* (method).
• a (method).
• as (method).
• d (method).
• d. (method).
• entangled (method).
• entangled (method).
• epa (method).
• epd (method).
• esr (method).
• esw (method).
• heads-on-same-cell (method).
• heads-on-same-cell (method).
• heads-on-same-cell (method).
• on-leftmost (method).
• on-rightmost (method).
• p (method).
• r (method).
• s (method).
• s* (method).
• s≠ (method).
• tape-length-is-one (method).
• tape-length-is-two (method).
• w (method).

• a&s* (method).
• as&s* (method).
• e-s*r (method).
• e-s*w (method).
• es*a (method).

tm.asd.

src-second-level (module).

• -s (method).
• -s* (method).
• a (method).
• d (method).
• d. (method).
• epa (method).
• epd (method).
• esr (method).
• esw (method).
• heads-on-same-cell (method).
• heads-on-same-cell (method).
• heads-on-same-cell (method).
• on-leftmost (method).
• on-rightmost (method).
• p (method).
• r (method).
• s (method).
• s* (method).
• s≠ (method).
• tape-length-is-one (method).
• tape-length-is-two (method).
• w (method).

es*a (method).

tm.asd.

src-second-level (module).

• -s (method).
• -s* (method).
• a (method).
• d (method).
• d. (method).
• epa (method).
• epd (method).
• esr (method).
• esw (method).
• heads-on-same-cell (method).
• heads-on-same-cell (method).
• heads-on-same-cell (method).
• on-leftmost (method).
• on-rightmost (method).
• p (method).
• r (method).
• s (method).
• s* (method).
• s≠ (method).
• s≠ (method).
• w (method).

tm.asd.

src-second-level (module).

• -s (method).
• -s* (method).
• a (method).
• d (method).
• d. (method).
• epa (method).
• epd (method).
• heads-on-same-cell (method).
• on-leftmost (method).
• on-rightmost (method).
• p (method).
• s (method).
• s* (method).

tm.asd.

src-second-level (module).

• abandon (method).
• ea-tm (class).
• entangle (method).
• init (method).

• ea-abandoned (class).
• ea-active (class).
• ea-empty (class).
• ea-parked (class).
• ea-parked-active (class).
• ea-tape-machine (class).
• entanglements (reader method).
• (setf entanglements) (writer method).
• entanglements-pt (reader method).
• (setf entanglements-pt) (writer method).
• to-abandoned (method).
• to-active (method).
• to-empty (method).
• to-parked (method).

tm.asd.

src-second-level (module).

• entangled-on-leftmost (function).
• entangled-on-right-neighbor-cell (generic function).
• entangled-on-same-cell (generic function).

tm.asd.

src-second-level (module).

• entangled-on-right-neighbor-cell (method).
• entangled-on-same-cell (method).

tm.asd.

src-second-level (module).

epa (method).

• entangled-on-right-neighbor-cell (method).
• entangled-on-same-cell (method).

tm.asd.

src-second-level (module).

• -s* (method).
• s* (method).

• entangled-on-right-neighbor-cell (method).
• entangled-on-same-cell (method).

tm.asd.

src-second-level (module).

• a (method).
• d (method).

• entangled-on-right-neighbor-cell (method).
• entangled-on-same-cell (method).

tm.asd.

src-second-level (module).

• epa (method).
• epd (method).

tm.asd.

src-second-level (module).

• entangle (method).
• init (method).
• ts1-tm (class).

• deed (reader method).
• (setf deed) (writer method).
• to-abandoned (method).
• to-active (method).
• to-empty (method).
• to-parked (method).
• ts1-abandoned (class).
• ts1-active (class).
• ts1-empty (class).
• ts1-parked (class).
• ts1-tape-machine (class).

tm.asd.

src-second-level (module).

• -s (method).
• -s* (method).
• a (method).
• as (method).
• d (method).
• entangled (method).
• epa (method).
• epd (method).
• heads-on-same-cell (method).
• on-leftmost (method).
• on-rightmost (method).
• s (method).
• s* (method).
• s≠ (method).

• a&s* (method).
• as&s* (method).
• es*a (method).

tm.asd.

src-array (module).

• -s (method).
• -s* (method).
• a (method).
• esr (method).
• esw (method).
• init (method).
• on-leftmost (method).
• on-rightmost (method).
• r (method).
• s (method).
• tape-length-is-one (method).
• tape-length-is-two (method).
• w (method).

• *tile-length* (special variable).
• e-s*r (method).
• e-s*sr (method).
• e-s*sw (method).
• e-s*w (method).
• head (reader method).
• (setf head) (writer method).
• prinx (function).
• shift-left (function).
• tape (reader method).
• (setf tape) (writer method).
• tiled-number-tm (class).

tm.asd.

test-0 (module).

• mk-7 (function).
• test-l-0 (function).
• test-l-1 (function).
• test-l-2 (function).
• test-meta-wrap-0 (function).
• test-q-0 (function).
• test-q-1 (function).
• test-unwrap-0 (function).

tm.asd.

test-0 (module).

test-remove-key-pair-0 (function).

tm.asd.

test-list (module).

• test-bilist-0 (function).
• test-bilist-1 (function).
• test-bilist-2 (function).
• test-bilist-3 (function).
• test-bilist-4 (function).
• test-bilist-5 (function).

tm.asd.

test-list (module).

test-heads-on-same-cell-0 (function).

tm.asd.

test-list (module).

• test-d-0 (function).
• test-epa-0 (function).
• test-epd-0 (function).
• test-epd-1 (function).

tm.asd.

test-list (module).

• test-list-tm-0 (function).
• test-list-tm-1 (function).
• test-list-tm-2 (function).
• test-list-tm-3 (function).
• test-list-tm-4 (function).
• test-list-tm-5 (function).

tm.asd.

test-list (module).

• test-e-s*r-0 (function).
• test-es*a-0 (function).
• test-mk-entangled-0 (function).
• test-s≠-0 (function).
• test-s≠-1 (function).

tm.asd.

test-list (module).

• test-an-0 (function).
• test-eas*-0 (function).

tm.asd.

test-list (module).

test-esnr-0 (function).

tm.asd.

test-list (module).

• test-d*-0 (function).
• test-dn-0 (function).
• test-filter-0 (function).
• test-filter-1 (function).
• test-filter-2 (function).

tm.asd.

test-list (module).

• test-tm-derived-0 (function).
• test-tm-derived-1 (function).
• test-tm-derived-2 (function).
• test-tm-derived-3 (function).

tm.asd.

test-list (module).

• test-a*-0 (function).
• test-as*-0 (function).
• test-as*-1 (function).
• test-asn-0 (function).
• test-equiv-0 (function).
• test-s*-0 (function).
• test-sn-0 (function).
• test-sn-1 (function).
• test-w*-0 (function).

tm.asd.

test-list (module).

• test--s*∀-0 (function).
• test--s*∃-0 (function).
• test-¬∀-0 (function).
• test-∀-0 (function).
• test-∃-0 (function).
• test-∃-1 (function).
• test-⟳-0 (function).

tm.asd.

test-list (module).

• test-c-0 (function).
• test-c-1 (function).
• test-c-2 (function).
• test-c-3 (function).

tm.asd.

test-generators (module).

• test-recursive-0 (function).
• test-recursive-1 (function).
• test-recursive-2 (function).
• test-recursive-3 (function).

tm.asd.

test-tr (module).

test-identity-0 (function).

tm.asd.

test-tr (module).

test-ensemble-0 (function).

tm.asd.

test-second-level (module).

• test-status-0 (function).
• test-status-1 (function).
• test-status-4 (function).
• test-status-5 (function).
• test-status-6 (function).

tm.asd.

test-second-level (module).

• test-status-quantifiers-0 (function).
• test-status-quantifiers-1 (function).

tm.asd.

test-second-level (module).

• test-status-filter-0 (function).
• test-status-filter-1 (function).
• test-status-filter-2 (function).

tm.asd.

test-second-level (module).

• test-ea-0 (function).
• test-ea-1 (function).
• test-ea-2 (function).
• test-ea-3 (function).
• test-ea-4 (function).
• test-entangled-0 (function).

tm.asd.

test-second-level (module).

• test-ts1-0 (function).
• test-ts1-1 (function).
• test-ts1-2 (function).
• test-ts1-3 (function).
• test-ts1-4 (function).
• test-ts1-4-t1 (function).
• test-ts1-4-t2-drain (function).
• test-ts1-4-t2-wait (function).
• test-ts1-5 (function).
• test-ts1-5-t1 (function).
• test-ts1-5-t2-drain (function).

tm.asd.

test-second-level (module).

• test-c-status-0 (function).
• test-c-status-1 (function).
• test-c-status-2 (function).
• test-c-status-3 (function).
• test-c-status-4 (function).
• test-c-status-5 (function).
• test-c-status-6 (function).
• test-c-status-7 (function).

tm.asd.

test-array (module).

• test-tiled-0 (function).
• test-tiled-1 (function).
• test-tiled-2 (function).
• test-tiled-3 (function).
• test-tiled-4 (function).