Talk:Sequential tag system
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)