×

Hinreichende Bedingungen für die Lösbarkeit des Halteproblems für die Turingmaschine. (Russian) Zbl 0426.68025


MSC:

68Q05 Models of computation (Turing machines, etc.) (MSC2010)
03D10 Turing machines and related notions
PDFBibTeX XMLCite