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