Андрей, спасибо за разъяснения, я понимаю, о чем ты говоришь. По поводу Т-системы я имел ввиду другое, там была сложная схема с "незавершенным отождествлением" и опережением действий над частью результата отождествления. М.б. что-то путаю, уже подзабыл. Колю Мансурова также на это соблазнили, я с
Леонид, OR-параллелизм имеет большую практическую ценность. О нем было
много речи в прошлую волну ИИ на основе Пролога и машин 5-го поколения.
И в мире параллельных алгоритмов OR-параллелизм достаточно распространен.
Например, параллельный метод ветвей и границ – это OR-параллелизм:
параллельные
Аркадий, это сложновато и непонятна практическая ценность. Вот, в Т-системе накрутили, чем закончилось.Но надо иметь ввиду. Сейчас хорошо бы на чистом Рефале сосредоточиться, но довести до практического результата.Л.Эйсымонт 23.03.2020, 17:38, "Arkady Klimov arkady.klimov_AT_gmail.com" :Я бы
Я бы упомянул еще один вид параллелизма - ИЛИ-параллелизм. В строгом смысле
в рефале места для него сейчас нет.
Было бы, если бы кроме отождествления "слева" и "справа" добавить "любое" -
подходит любой вариант
длины открытой е-переменной. Или если ввести "машинную операцию" типа
=
применять tF к
Ответил в личку
>Понедельник, 23 марта 2020, 12:58 +03:00 от Eisymont Leonid
>verger-lk_AT_yandex.ru :
>
>Александр, про уровни распараллеливания в Рефале известно с конца 70-х годов.
>Вы правильно это разложили в своих пунктах. Мы сейчас говорим о втором пункте.
>Первый пункт - это,
Александр, про уровни распараллеливания в Рефале известно с конца 70-х годов.Вы правильно это разложили в своих пунктах. Мы сейчас говорим о втором пункте. Первый пункт - это, наверное, будет решение на одномерном клеточном автомате. Оно также лежит с конца 70-х.Пункт 3 - в начале 2000-х ввели в
Добрый день!
Как я понимаю, параллелизм может быть нескольких видов:
* Распараллеливание внутри одной операции, например, поиска по большому
массиву. Это может быть сделано вне языковой сущности Рефала — с помощью
«железа» или СУБД;
* Распараллеливание на уровне ветвей при вычислении одного
