| Signature mark | NL 288/176 |
|---|---|
| Subject | Akte (1) |
| Title | Fremde Arbeiten zu Turing-Maschinen |
| Contains | - Zwei Fassungen von Weimann, B. / Casper, K. / Fenzl, W.: Untersuchungen über haltende Programme für Turing-Maschinen mit 2 Zeichen und bis zu 5 Befehlen, ca. 1973 - Diagramme von Algorithmen und Tabellen mit Statistiken zum Verhalten von Programmen - Manuskript von N.N.: Beweis für die Lösbarkeit des Busy-Beaver-Problems in der Menge aller Turingprogramme, die nur schreiben. - Ausdruck von Zahlenreihen, wohl Programm-Output |
| Date | ca. 1973 |
| Scope | 51 Bl. hektogr. u. gedr. (mit hs. Anm). |
| Subject area | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
| Rights notice | CC BY-SA 4.0 |
