Сохранен 36
https://2ch.hk/b/res/201467282.html
Прошлые домены не функционирует! Используйте адрес ARHIVACH.VC.
24 декабря 2023 г. Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!

Вопрос для программистов. Существует ли критерий

 Аноним OP 07/08/19 Срд 15:13:43 #1 №201467282 
ProgLangs-h400.jpg
KlassnyjzhurnalAdabelle-Combrink(87).jpg
depositphotos112040886-stock-photo-programming-code-green-c[...].jpg
Вопрос для программистов.
Существует ли критерий полноты для языков программирования (ЯП)?
Что я имею в виду: вот у нас есть набор инструкций, синтакис и всякие условия (if, elif, else), циклы (for, while) и достаточен ли этот набор для полноценного написания ЛЮБОЙ программы, любой - то есть такой программы, которую может исполнить данная машина на которой её запускают. И каков минимальный набор инструкций, чтобы считать ЯП полным?

Аноним 07/08/19 Срд 15:14:50 #2 №201467343 
бамп
Аноним 07/08/19 Срд 15:16:19 #3 №201467412 
6d8dee97f7e74015a2223f8b67cf04c6.jpg
бамп
Аноним 07/08/19 Срд 15:16:23 #4 №201467416 
Тьюринг свою машину для кого придумал, сцука?
Аноним 07/08/19 Срд 15:17:24 #5 №201467463 
>>201467416
объясни как из этого следует критерий полноты?
Аноним 07/08/19 Срд 15:18:06 #6 №201467499 
devworksfrom9to5.jpg
бамп
Аноним 07/08/19 Срд 15:19:28 #7 №201467573 
>>201467282 (OP)
Твой вопрос абсолютно некорректный, более того ты написал полнейшую хуйню.

Мы не в 80ых живем, синтаксис и набор инструкций никак вообще не коррелирует с тем что может язык.
Все языки = инструменты для своих целей.
Какая блять любая программа?
Кароче просто не пытайся нести хуйню там где ты вообще ничего не понимаешь.
Аноним 07/08/19 Срд 15:19:30 #8 №201467576 
15633930352250.jpg
бамп
Аноним OP 07/08/19 Срд 15:20:32 #9 №201467634 
>>201467573
не ответил ни на один вопрос => не разбираешься в теме => иди нахуй
Аноним 07/08/19 Срд 15:20:48 #10 №201467648 
>>201467282 (OP)
>3 пик
Нет, ну я не могу на это спокойно смотреть. Зачем ты эту хуйню принес? АААА БЛЯДЬЬДЬ?!?!?!!?!11
Аноним 07/08/19 Срд 15:21:02 #11 №201467659 
>>201467282 (OP)
Тьюринг полнота
/thread

>>201467573
А ты даун. Убейся
Аноним 07/08/19 Срд 15:27:23 #12 №201468028 
>>201467463
Тебе сюда учебник по теории вычислимости целиком хуйнуть? Оно следует через тонну анального матана, гугли, в двух словах не объяснишь.
Аноним 07/08/19 Срд 15:30:08 #13 №201468170 
>>201467573
чаю
Аноним 07/08/19 Срд 15:30:10 #14 №201468171 
>>201468028
ну если ты это прочитал через себя пропустил, то прошу тебя мне дурачку с двача объяснить это пусть не в двух словах
Аноним 07/08/19 Срд 15:34:04 #15 №201468397 
Screenshot20190807-153225073.jpg
Screenshot20190807-153300568.jpg
Ну вот например первая ссылка в Гугле
https://neerc.ifmo.ru/wiki/index.php?title=%D0%A2%D1%8C%D1%8E%D1%80%D0%B8%D0%BD%D0%B3-%D0%BF%D0%BE%D0%BB%D0%BD%D0%BE%D1%82%D0%B0
Аноним 07/08/19 Срд 15:34:09 #16 №201468402 
>>201467282 (OP)
Есть язык с одной инструкцией.
https://esolangs.org/wiki/OISC
Аноним 07/08/19 Срд 15:40:00 #17 №201468740 
Я макака, но вставлю свои пять копеек, пусть более знающие аноны поправят. Нет никаких достаточных универсальных критериев Тьюринг-полноты и не может быть, полнота доказывается в каждом конкретном случае. Это следует, например, из того, что машина Тьюринга выглядит совершенно иначе, непохоже на современные general-purpose языки, не содержит никаих if, for и т.д.

>>201467573
Ты вообще идиот
Аноним 07/08/19 Срд 15:40:53 #18 №201468795 
>>201467282 (OP)
Тьюринг-полнота как раз об этом. Достаточно нескольких простейших возможностей. Даже красный камень в кубаче тюринг-полный.
Аноним 07/08/19 Срд 15:43:23 #19 №201468943 
>>201468402
Тащемта, дополнительный язык не нужен, достаточно обычного MOV в x86. Гугли movfuscator.
Аноним 07/08/19 Срд 15:48:02 #20 №201469195 
>>201468943
Интересно, я подозревал что это возможно.
Аноним 07/08/19 Срд 15:48:43 #21 №201469238 
>>201467282 (OP)
Согласно твоему определению полноты, да. Нужны всего 3 управляющие структуры. Последовательность. Ветвление. Цикл.
Хватит if/for/;.
Доказательство этого факта прилагается к теореме о структурном программировании.
Аноним 07/08/19 Срд 15:49:22 #22 №201469279 
>>201467282 (OP)
Двоякое дело:

1. Таки уже много раз упомянутая Тьюринг-полнота.
2. Предоставляемые языком возможности по прямому взаимодействию с машиной на котором он запущен.

Второй пункт может очень ограничивать возможности языка снизу. Если нет, например, подвязки к низкоуровневой хуерге, то ты не сможешь успешно сношать байты. Нету выхода на API операционки - не сможешь хорошо взаимодействовать с файлами и многим другим.
Ряд таких ограничений - получишь пусть и тьюринг-полный, но скриптовый язык сравнительно ограниченного применения.
Аноним 07/08/19 Срд 15:50:17 #23 №201469327 
>>201467282 (OP)
Ассемблер поизучай. Что делает комп - двигает числа в регистры проца, в память, производит простейшие операции - добавить, удалить, умножить, bitwise и прочие подобные. Сначала помещаем число из памяти в регистр, потом производим операцию. Плюс переходы по адресам пямяти условные или безусловные. Вот и весь набор. Все языки программирования - это только надстройки над этим, обобщающие большие блоки подобных инструкций в процедуры, которые ты вызываешь одной командой. Вызвал какое-нибудь математическую операцию в высокоуровневом языке - язык обращается к своим библиотекам, где для нее множество команд на ассемблере (точнее машинном коде) прописаны.
Аноним 07/08/19 Срд 15:50:35 #24 №201469337 
>>201467282 (OP)
>И каков минимальный набор инструкций, чтобы считать ЯП полным?
Всего две: ИЛИ и НЕ, или И и НЕ. Доказательство лёгкое и занимает одну страницу учебника, проходят его на курсе цифровой схемотехники, курсе на третьем. Как эта теорема точно называется уже и не упомню.
Аноним 07/08/19 Срд 15:53:58 #25 №201469511 
>>201467282 (OP)
Какую же ты хуйню спрашиваешь.
Ну слава богу додумался такое спрашивать на дваче, а не напрямую.
Просто невероятно, что ты несешь, долбоеб? НУ ЧТО ТЫ НЕСЕШЬ?

Пройди ебаный курс програмирования чтобы тебе просто стыдно стало. То что ты спросил сейчас это эквивалент деревенского долбоеба из 16 века который спрашивает про какую-то букву из алфавита вместо того чтобы выучить весь алфавит. 2019 ГОД.
АЛО, НЕАНДЕРТАЛ
Аноним 07/08/19 Срд 15:59:12 #26 №201469774 
>>201467282 (OP)
Как ты вообще хочешь чтобы мы тебе объяснили что и как работает?
Это бессмысленно мы с тобой на разных языках разговариваем, понимаешь?

Ты разговариваешь на языке умственного инвалида и работника с завода. Если тебя так это интересует, мб возьмешь учебник? В интернете полно бесплатных курсов, а вместо этого ты спрашиваешь какую-то хуйню. Ну говоря простым языком, ты выглядишь просто полным придурком.
Аноним 07/08/19 Срд 16:10:28 #27 №201470324 
>>201469337
>Как эта теорема точно называется уже и не упомню
Оно и видно.
ИЛИ-НЕ - это одна операция минимальная.
http://www.nvtc.ee/e-oppe/Sidorova/Buleva_algebra/__6.html
Аноним 07/08/19 Срд 16:11:26 #28 №201470370 
>>201469511
>Пройди ебаный курс програмирования
Ты уже прошел? Как оно? Я вот обычный курс проходил.
Аноним 07/08/19 Срд 16:12:02 #29 №201470395 
>>201469774
Для этого существуют аналогии, дурачок.
Аноним 07/08/19 Срд 16:14:45 #30 №201470528 
у
Аноним 07/08/19 Срд 16:31:33 #31 №201471425 
Не для /б вопрос.
Аноним 07/08/19 Срд 16:38:37 #32 №201471759 
>>201467282 (OP)
Для меня это вот:
1. Полнота по Тьюрингу
2. Доступ ко всем системным возможностям(прослушка портов, построение графики, окошки, работа с фс, и прочее)
Аноним 07/08/19 Срд 17:25:04 #33 №201473827 
>>201468740
>>201467659
>>201467634
Я 6 лет уже работаю тимлидом в ЕПАМЕ. И ваши студенческие высеры просто настолько тупы, что мне больно это читать.

Как блять нахуй набор инструкций связан например с тем, что какие нибудь сраные джава аплеты не будут иметь ПРАВО ДОСТУПА к тому, к чему будет иметь кусок кода на плюсах условных?

Ты далек от понимания программирования и вообще не имеешь компьютероной грамотности базовой, вспукнул парой умных слов и свежепосмотренного сериальчика и доволен. Просто иди на хуй.
Аноним 07/08/19 Срд 17:31:26 #34 №201474123 
>>201470324
Что ты сказать-то хотел? Что на И-НЕ нельзя? Или что ИЛИ-НЕ круч И-НЕ?
Меня учили, что можно построить любую схему на И-НЕ или ИЛИ-НЕ. Я помню, что заучивал это доказательство и сдавал зачёт с ним. А что там ты утверждаешь - мне насрать, тем более разбирать ссылки.
Аноним 07/08/19 Срд 17:34:01 #35 №201474258 
>>201468402
И в чем прикол? По сути, роль instruction code выполняет operand code.
Аноним 07/08/19 Срд 17:37:17 #36 №201474440 
>>201473827
Двачую этого
comments powered by Disqus