<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>The complexity of small universal Turing machines: a survey · HackerPapers discussions</title><link>https://hackerpaper.kaipfister.de/p/1110.2230/</link><description>Collected HN comments and submissions linking this paper.</description><language>en</language><lastBuildDate>Mon, 02 Nov 2026 11:16:22 GMT</lastBuildDate><atom:link href="https://hackerpaper.kaipfister.de/p/1110.2230/feed.xml" rel="self" type="application/rss+xml" /><item><title>The complexity of small universal Turing machines: a survey — mentioned by LegionMammal978</title><link>https://news.ycombinator.com/item?id=38118507</link><guid isPermaLink="false">urn:hackerpapers:mention:1110.2230:38118507</guid><pubDate>Thu, 02 Nov 2023 19:09:14 GMT</pubDate><description>&lt;p&gt;Generally, when we talk about the halting problem in the Busy Beaver context, we&amp;#x27;re talking about the halting problem starting from an empty tape. However, some authors have analyzed the behavior of Turing machines on certain classes of infinite tapes. For instance, in [0], the authors surveyed the behavior of TMs starting on a tape with an arbitrary word in the middle, and an infinitely repeating word on one or both sides; one finding is that no 2-state 2-symbol TM is a universal Turing machine, for any of these input tapes. [0] https://arxiv.org/abs/1110.2230&lt;/p&gt;&lt;p&gt;&lt;a href="https://hackerpaper.kaipfister.de/p/1110.2230/"&gt;Paper and discussion history&lt;/a&gt;. A mention is not an endorsement.&lt;/p&gt;</description><category>cs.CC</category></item></channel></rss>
