The following pages link to (Q3862404):
Displaying 6 items.
- Small Turing machines and generalized busy beaver competition (Q703533) (← links)
- Small universal Turing machines (Q1349852) (← links)
- Small deterministic Turing machines (Q1349854) (← links)
- Frontier between decidability and undecidability: A survey (Q1575913) (← links)
- Small fast universal Turing machines (Q2508974) (← links)
- The laterality problem for non-erasing Turing machines on $\lbrace 0,1\rbrace $ is completely solved (Q4349780) (← links)
