Generic algorithms for halting problem and optimal machines revisited (Q2800974)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generic algorithms for halting problem and optimal machines revisited |
scientific article |
Statements
Generic algorithms for halting problem and optimal machines revisited (English)
0 references
19 April 2016
0 references
generic algorithms
0 references
halting problem
0 references
Kolmogorov complexity
0 references
optimal enumerations
0 references
