2-State 3-Symbol Universal Turing Machines Do Not Exist
Craig Alan Feinstein
所有作者
Craig Alan Feinstein
文献摘要
In this brief note, we give a simple information-theoretic proof that 2-state
3-symbol universal Turing machines cannot possibly exist, unless one loosens
the definition of “universal”.