The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Опрос Stack Overflow: Rust назван самым любимым, а Python самым востребованным языком, opennews (??), 04-Авг-21, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


137. "Опрос Stack Overflow: Rust назван самым любимым, а Python са..."  +/
Сообщение от ненавижу JS (?), 04-Авг-21, 15:10 
https://coderoad.ru/2497146/%D0%AF%D0%B2...

CSS не является полным Тьюрингом

Ответить | Правка | Наверх | Cообщить модератору

140. "Опрос Stack Overflow: Rust назван самым любимым, а Python са..."  +/
Сообщение от Аноним (-), 04-Авг-21, 15:18 
> https://coderoad.ru/2497146/%D0%AF%D0%B2...
> CSS не является полным Тьюрингом

Опеннетный оналитег классически, дальше заголовка по своим же ссылкам не читающий?
>> Является ли CSS Тьюринг полным?
>> CSS, насколько я знаю, не является полным Тьюрингом. Но мои знания о CSS очень ограничены.
> Вы можете закодировать правило 110 в CSS3, так что оно является полным по Тьюрингу, если вы считаете, что соответствующий сопровождающий файл HTML и взаимодействие с пользователем являются частью “execution” из CSS. Имеется довольно хорошая реализация http://eli.fox-epste.in/rule110-full.html
>

Ответить | Правка | Наверх | Cообщить модератору

152. "Опрос Stack Overflow: Rust назван самым любимым, а Python са..."  +/
Сообщение от Аноним (29), 04-Авг-21, 15:50 
Там по ссылке и дальше ;)

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

Ответить | Правка | Наверх | Cообщить модератору

169. "Опрос Stack Overflow: Rust назван самым любимым, а Python са..."  +/
Сообщение от Аноним (-), 04-Авг-21, 16:37 
> Там по ссылке и дальше ;)
> Поскольку мы только что решили проблему остановки для 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 сам по себе, а не эмуляция машины Тьюринга на нем - что как минимум странно), результат которых противоречит первым двум пунктам.

Ответить | Правка | Наверх | Cообщить модератору

199. "Опрос Stack Overflow: Rust назван самым любимым, а Python са..."  +/
Сообщение от Аноним (-), 04-Авг-21, 22:13 
> Там по ссылке и дальше ;)
> Поскольку мы только что решили проблему остановки для CSS, из этого следует,
> что CSS не является полным Тьюрингом
>> Но мы можем вывести такой алгоритм для CSS! Вот он:
>> Если таблица стилей не объявляет никаких анимаций , то она остановится.

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

Логика уровня:
Компьютеры не являюстя системами, полными по Тьюрингу, потому что мы можем вывести алгоритм:
Если в кроне есть шатдаун, то компьютер остановится
Если нет, то нет ...
Таким образом мы решили проблему остановки для компьютеров, из этого следует ...


Ответить | Правка | К родителю #152 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру