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.

Реклама

Аудио вид s-символов

© В.Д. Ильин, 2009

□ Аудио вид s-символов (англ. Audio S-symbols) —

совокупность s-символов, применимых для построения s-сообщений из звуков, рассчитанных на звукопроизводящие и звукоприёмные средства человека и s-машин. Специализация s-symbol по параметру means (средства): audio-symbol ≈ s-symbol[::means=audio].

См. TSM — комплекс средств формализованного описания s-моделей.

Значение audio выделяет из множества s-символов те, которые рассчитаны на звукопроизводящие и звукоприёмные средства человека и s-машин (голосовой и слуховой аппараты человека; музыкальные инструменты и др.; аудио устройства ввода (микрофон и др.) и вывода (звуковые колонки и др.) в составе s-машин и др.).

Виду а у д и о соответствуют типы:
речевой (для построения s-сообщений, содержащих речевые фрагменты; имеет специализации по национальным языкам и др.);
музыкальный [для построения s-сообщений, содержащих музыкальные фрагменты; имеет специализации по инструментальным средствам (вокал, фортепиано и др.) и др.];
— специальный (x) [для построения s-сообщений, содержащих специальные (неречевые и немузыкальные) аудио команды и извещения; ☼ специальный (хлопки), специальный (свист) и др. ☼].