Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines

Autor:	Minsky, Marvin L.
Zdroj:	Annals of Mathematics, 1961 Nov 01. 74(3), 437-455.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/1970290 Zobrazit plný text záznamu