Глоссарий
АВТОМАТ [automatic machine (automata)] - абстрактное, виртуальное или реальное устройство, выполняющее по программе без участия человека операции приема, передачи, преобразования, использования или распределения энергии, материалов или информации. А. характеризуется конечным или бесконечным алфавитами состояний, входных или выходных символов, таблицей переходов состояний и таблицей формирования последовательностей выходных символов. А. работает по заранее разработанной программе, которая может адаптироваться или модифицироваться в процессе выполнения. Бывают А. асинхронные и синхронные, бесконечные и конечные, вероятностные, детерминированные и недетерминированные, микропрограммные, магазинные, обратимые, операционные, программные, с памятью или без памяти, самонастраивающиеся, с постоянной или переменной структурой, связные, частичные, читающие, управляющие.
АЛГОРИТМ [algorithm] - предписание, определяющее конечный набор правил и порядок их применения и позволяющее чисто механически решать некоторую конкретную проблему из класса однотипных проблем. А. обладает набором свойств, из которых главными являются: определенность - возможность выполнять предписание различными вычислителями, массовость - возможность вариации исходных данных в известных диапазонах, результативность - возможность получения, в конечном счете, определенного результата, детерминированность - выполнение действий по шагам (последнее свойство не обязательно для классов А. со свойствами недетерминированности). А. обладает также свойствами понятности и правильности - возможностью выполнять его на данном вычислительном средстве, свойством дискретности - выполнение элементарных действий осуществляется последовательно, свойством точности - полная известность относительно завершенности выполнения элементарного действия и знанием того, каким будет следующее элементарное действие. Понятие А. уточняется через определение нормальных алгоритмов Маркова, машины Тьюринга, машины Поста и др.
АЛГОРИТМИЗАЦИЯ [algorithmizing] - 1. Этап решения проблемы, состоящий в формулировке, построении и синтезе алгоритма решения проблемы (задания) с помощью ВМ; процесс представления алгоритмического знания для обработки на ВМ. 2. Раздел информатики, изучающий методы построения алгоритмов. А. включает фазы формирования цели и критерия достижения цели, формализации постановки проблемы в заданном исчислении, логический анализ и вывод решения проблемы, оформление записи алгоритма не некотором алгоритмическом языке. Процесс А. поддается автоматизации в системах синтеза программ и в некоторых интеллектуальных системах.
Достарыңызбен бөлісу: |