> Там по ссылке и дальше ;)
> Поскольку мы только что решили проблему остановки для CSS, из этого следует,
> что CSS не является полным Тьюрингом

Это так не работает (и btw. проблема остановки включает в себя "user input").

Т.е. у нас есть:

1) Rule 110, считающийся "полным по Тьюрингу"
https://arxiv.org/abs/0906.3248
"Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)"

2) Реализация, как минимум упомянутая 1 CS профессором https://lemire.me/blog/2011/03/08/breaking-news-htmlcss-is-t.../
> Apparently, HTML5 + CSS3 is now also Turing complete because it can be used to program a Rule 110 automaton. I have not yet had time to investigate further.

3) простой ответ на StackOverflow, основанный на "рассуждизмах" (в которых рассматривался CSS сам по себе, а не эмуляция машины Тьюринга на нем - что как минимум странно), результат которых противоречит первым двум пунктам.