Construct · 1 fields · 1 citations

dovetail: a standalone construct

One name. One construct. A landmark on the map.

● anchor · a standalone construct Nearest construct by meaning·not indexed
dovetail1 CONSTRUCTDovetailingROGERS · 1987

A single standalone construct; nearby constructs are located against it in the Collider. Tap a field for its definition, unit, and measures.

Computability theory

running infinitely many computations together by advancing each a little in turn, so none blocks the rest.

In computability theory dovetailing is a scheduling technique for running infinitely many computations together without any one of them blocking the rest: each process is advanced a little in turn, so if any computation ever halts, that step is reached in finite time. It is the standard way to enumerate, for instance, all halting computations or all members across infinitely many lists. Rogers's Theory of recursive functions and effective computability uses the device in building effective enumerations. The referent is an interleaving procedure over computations, named for the way the steps interlock, unrelated to a sliding way or a wooden joint.[1]

Unit
A schedule interleaving steps across many computations
Recovery means
Not applicable
Measured by
Characterised by its guarantee of reaching any halting step of any process in finite time

Next

Run it through the Collider, or take the citations with you.

See how dovetail sits against neighbouring constructs in the Collider, or export every reference on this page in one click.

Open in ColliderExport BibTeXReport this entry

Nearby constructs

being3 fields · 3 citationsjingle · one word, three constructscorner2 fields · 2 citationsjingle · one word, two constructs

References

  1. Rogers, H. (1987). Theory of recursive functions and effective computability. MIT Press. ISBN 9780262680523

Cited on this page?

Confirm your construct, or correct us.

If your work is cited behind one of these entries, you know better than we do whether we captured the meaning right. Confirm it, suggest an edit, or dispute it, and your name goes on the entry as an author who has checked it, linked to your ORCID.

Claim your construct