Согласно заголовку, возможно ли создать (нетривиальный) quine в HTML?
Мое определение HTML quine:
Нетривиальный HTML quine - это тот, который не равен нулю и использует по крайней мере один тег HTML, при условии, что некоторая строка в HTML-файл отображается браузером как простой текст. Квайн HTML определяется таким образом, что вывод
q.html
, отображаемый стандартным браузером , является содержимым самогоq.html
.
(Я открыт для любых комментариев по этому определению, я вроде как взломал его прямо сейчас)
HTML не является полным по Тьюрингу, поэтому теорема о фиксированной точке не может быть применена, чтобы доказать, что это действительно возможно .
Однако это не обязательно означает, что HTML quine невозможен. Или действительно можно доказать, что HTML quine невозможен?