Enumeration: Difference between revisions
Jump to navigation
Jump to search
Created page |
Rewrite openning |
||
| Line 1: | Line 1: | ||
Enumeration | '''Enumeration''' is the process of generating all candidate [[Turing machines]] (or other program types) within a given [[:Category:BB Domains|domain]] potentially filtered modulo isomorphism (ex: [[TNF]]). These enumerations can then be filtered down by [[deciders]] leaving a list of [[holdouts]] which remain undecided. | ||
== List of enumeration scripts == | == List of enumeration scripts == | ||
TODO | TODO | ||
Revision as of 16:43, 17 August 2026
Enumeration is the process of generating all candidate Turing machines (or other program types) within a given domain potentially filtered modulo isomorphism (ex: TNF). These enumerations can then be filtered down by deciders leaving a list of holdouts which remain undecided.
List of enumeration scripts
TODO