3 ms·

No; https://www.jstor.org/stable/2371045?origin=crossref https://www.jstor.org/stable/2371045?origin=crossref

• theideaofcoffee 2y ago
  Whoosh! It was a joke.
• volemo 2y ago
  Yes; Turing Machine with finite tape can be simulated by a deterministic finite automaton, and we know if those halt or not.
  • YesThatTom2 2y ago
    If it supported an infinite tape, that would get me closer to my dream of owning an infinite number of legos! I love it!
  • FartyMcFarter 2y ago
    > Yes; The question was "have they made sure that it halts at some point?" The answer cannot be yes, since some machines never halt.