| Signatur | NL 288/176 |
|---|---|
| Gegenstand | Akte (1) |
| Titel | Fremde Arbeiten zu Turing-Maschinen |
| Enthält | - 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 |
| Datierung | ca. 1973 |
| Umfang | 51 Bl. hektogr. u. gedr. (mit hs. Anm). |
| Fachgebiet | Mathematische Instrumente, Analoggeräte und -rechner. Persönlichkeiten <415.80> |
| Rechtehinweis | CC BY-SA 4.0 |
