暂无分享,去创建一个
Heinz-Dieter Ebbinghaus
[1] M. Minsky. Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines , 1961 .