The OpenNET Project / Index page

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



"Пятая редакция патчей для ядра Linux с поддержкой языка Rust "
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Отдельный RSS теперь доступен для каждого обсуждения в форуме и каждого минипортала.
. "Пятая редакция патчей для ядра Linux с поддержкой языка Rust..." +/
Сообщение от Аноним (109), 13-Фев-22, 15:11 
> Отсюда вывод: безопасное подмножество не Тьюринг-полное?

"Отсюда" - нет, такой вывод формально вообще-то сделать нельзя.
Но если и да (в смылсе - оно не Тьюринг-полное) - и чо?
Практические реализации ЯП все равно не "полные" (лента ограничена) да и интересует нас лишь то маленькое подмоножество корректно работающих и решающих реальные задачи, а не все возможные варианты программ и их ввода и вывода.


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

Оглавление
Пятая редакция патчей для ядра Linux с поддержкой языка Rust , opennews, 13-Фев-22, 11:53  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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