Talk:Sequential tag system

From Esolang
Jump to navigation Jump to search

Trying to make this more precise

Here are some subsets of the set of all sequential tag systems:

  • Sequential tag systems that a cyclic tag system can be translated into
  • Sequential tag systems that can be generated by a Turing machine
  • Sequential tag systems that can't be generated by a Turing machine

The second paragraph in the article seems particularly unclear because it doesn't really distinguish between between these sets, and just says "in many cases". I imagine that relatively few people find the first case problematic, and almost everyone finds the last case problematic. --Chris Pressey (talk) 13:52, 1 August 2019 (UTC)