S-алгоритм

© В.Д Ильин, 2011

□ S-АЛГОРИТМ (англ. S-algorithm) — система программно-реализуемых правил, позволяющая за конечное число шагов поставить в однозначное соответствие заданному набору данных, принадлежащему входу s-алгоритма, результирующий набор данных, принадлежащий выходу s-алгоритма. Специализация метода решения задачи (по типу решателя), представленная в форме, рассчитанной на программную реализацию в s-среде.

Выполнение s-алгоритма включает:

  1. распознавание набора входных данных (определение его принадлежности множеству допустимых наборов данных, описанных как вход s-алгоритма): если набор принадлежит входу,  то — переход к п.2; в противном случае — СТОП;
  2. получение набора выходных данных (принадлежащего множеству наборов данных, определенных как выход s-алгоритма);
  3. запись набора выходных данных в заданную область памяти.
  4. СТОП. □

Типы решателей: автономная s-машина; сетевая кооперация s-машин; сетевая кооперация s-машин и взаимодействующих с ними людей.

(См. определение алгоритма с точки зрения математика).

Метод (в отличие от алгоритма) не ориентирован на определенный тип решателя задач.

Машина Тьюринга – это s-модель алгоритмического решателя-автомата.

ДРУГИЕ ОПРЕДЕЛЕНИЯ

From Encyclopedia of Computer Science, 4th Edition, ©2000 Anthony Ralston, Edwin D. Reilly, David Hemmendinger

ALGORITHM

Definition

Given both the problem and the device, an algorithm is the precise characterization of a method of solving the problem, presented in a notation interpretable by

the device.

In particular, an algorithm is characterized by these properties:

  • Application of the algorithm to a particular input set or problem description results in a finite sequence of actions.
  • The sequence of actions has a unique initial action.
  • Each action in the sequence has a unique successor.
  • The sequence terminates with either a solution to the problem, or a statement that the problem is unsolvable for that set of data.

См. TSM – комплекс средств формализации гипермедийных описаний s-моделей.

Лит.: Ильин А.В., Ильин В.Д. Основы теории s-моделирования, М.: ИПИ РАН, 2009.

Реклама

Добавить комментарий

Заполните поля или щелкните по значку, чтобы оставить свой комментарий:

Логотип WordPress.com

Для комментария используется ваша учётная запись WordPress.com. Выход / Изменить )

Фотография Twitter

Для комментария используется ваша учётная запись Twitter. Выход / Изменить )

Фотография Facebook

Для комментария используется ваша учётная запись Facebook. Выход / Изменить )

Google+ photo

Для комментария используется ваша учётная запись Google+. Выход / Изменить )

Connecting to %s