Concept

Traversal order — where it appears

The sequence in which a walk visits the things it is walking, when that sequence carries information the walk would otherwise have to store. Getting it wrong produces a short answer rather than a wrong one, which no test of the output can see.

Named by 3 essays across 3 fields — each of them below, with the objects they name alongside it.

occurrences reportedin text order16from the right2 — 14 lostevery one it reports is real, so the answer is short rather than wrong1 of them were found by the boundary search and never propagated16 copies · 6-character pattern87.5% lost

From the right, two of sixteen

Run the same sweep in the opposite direction and every occurrence it produces lands behind its own cursor. It reports two of sixteen, every one of them genuinely there, and nothing about the answer says fourteen are missing.

floors · Parse
01,024120 phrases · 1,024 characters60 drawn, every one pointing right

Every copy points right

A greedy self-referential parse chooses each phrase's source from text already produced, so an occurrence copied from another lies strictly to its right. That one fact removes a visited set from a propagation, exactly as a left-first walk removed an array one strand ago.

structures · Parse
"t than"8 found · set 8 · frontier 4"of her"7 found · set 7 · frontier 4" that "16 found · set 16 · frontier 11" every"31 found · set 31 · frontier 19"the ev"8 found · set 8 · frontier 4"o of c"8 found · set 8 · frontier 5" than "15 found · set 15 · frontier 9"ime ra"7 found · set 7 · frontier 4the visited set, pale; the sweep's frontier, dark17,715 phrases examined either way1.67x on what is held

The same occurrences, less bookkeeping

Two traversals examine identically many phrases and report identically many occurrences. What differs is that one holds every occurrence found so far in a set and the other holds an ordered list and a cursor.

indexes · Parse

Named alongside it

The objects these essays reach for when they reach for this one.

Phrase indexPropagationSecondary occurrenceLempel ziv parseVisited setCorrectnessPrevious occurrence chainRejection testSilent failureWorking memory

All concepts