Generating candidate busy beaver machines (or how to build the zany zoo) (Q2672601)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generating candidate busy beaver machines (or how to build the zany zoo) |
scientific article |
Statements
Generating candidate busy beaver machines (or how to build the zany zoo) (English)
0 references
13 June 2022
0 references
busy beaver
0 references
Turing machines
0 references
normal forms
0 references
0 references
0 references
