Cтраница 3
Как мы уже условились, всякий общий способ задания алгоритмов называется алгоритмической системой. Алгоритмическая система, основанная на соответствии между словами в абстрактном алфавите, включает в себя объекты двоякой природы: элементарные операторы и элементарные распознаватели. [31]
Как было отмечено выше, всякий общий способ задания алгоритмов называется алгоритмической системой. [32]
В процессе изучения курса Теория алгоритмов целесообразно определить понятие алгоритма, рассмотреть такие алгоритмические системы, как рекурсивные функции, машины Тьюринга, нормальные алгоритмы Маркова и др.; исследовать связь теории алгоритмов с теорией автоматов и с универсальными электронными вычислительными машинами; изучить теоретические основы построения и анализа алгоритмических языков, формальных преобразований и оценки алгоритмов. [33]
Наиболее важными понятиями теории алгоритмов с точки зрения информатики являются: алгоритм, алгоритмические системы, а также системы и методы алгоритмизации. [34]
Способность имитировать вычисления, производимые содержательным классом преобразователей, служит важным показателем рассматриваемых алгоритмических систем. [35]
Описываются рекурсивные преобразователи информации, отно-сящиеся к автоматной модели алгоритма и охватывающие широкий класс сложных алгоритмических систем - рекурсивные программы, вычислительные устройства, различные иерархические управляющие системы. Излагаются виды рекурсивного взаимодействия5 проблемы разрешимости алгоритмов; недетерминизм в задании программ; преобразования рекурсии в более простые формы; рекурсивные алгоритмы в конкретных вычислительных средах; схемы программ и преобразователей. [36]
Для ускорения процесса перевода алгоритмов задач с языка алгоритмической системы в язык машины были разработаны специальные алгоритмические системы, получившие название алгоритмические % зыки. [37]
Элементарные операторы - достаточно просто задаваемые алфавитные операторы, с помощью последовательного выполнения которых реализуются любые алгоритмы в рассматриваемой алгоритмической системе. [38]
Понятие конечного автомата в той форме, в какой оно применялось до настоящего времени, существенно связано с понятиями алгоритма и последовательной алгоритмической системы. [39]
В связи с возникновением ЭВМ и их использованием для решения различных задач возникла необходимость перевода алгоритмов, представленных аппаратом той или иной алгоритмической системы, в команды конкретной машины. Первоначально этот перевод выполнялся вручную и требовал много труда и времени. Для ускорения процесса перевода алгоритмов задач с языка алгоритмической системы в язык машины были разработаны специальные алгоритмические системы, получившие название алгоритмические языки программирования. В настоящее время разработано и используется несколько сотен алгоритмических языков программирования. [40]
Во всяком случае, нормализуемые алгоритмы охватывают значительную часть алгоритмов ( если не все), поэтому систему нормальных алгоритмов можно считать практически универсальной алгоритмической системой. [41]
Применение наряду с обычными переменными, принимающими числовые значения, булевых переменных, имеющих лишь два возможных значения, играет существенную роль при построении различного рода практических алгоритмических систем для программирования на электронных вычислительных машинах. Булевы функции можно с успехом применять и для решения некоторых общих вопросов теории алгоритмов, например при уточнении понятия сложности алгоритма. Два возможных значения переменных, которые фигурируют в определении булевых функций, можно обозначать произвольно. На практике, однако, применяются в основном две системы обозначений. Будем называть введенные символы, как и в случае чисел, нулем и единицей, учитывая что нуль и единица выступают здесь пока не в качестве чисел, а лишь в качестве удобных обозначений для букв абстрактного двоичного алфавита. [42]
Проблема распознавания самоприменимости алгоритмов состоит в том, чтобы найти единый конструктивный прием, позволяющий за конечное число шагов по схеме любого данного алгоритма А в какой-либо фиксированной алгоритмической системе ( например, в системе нормальных алгоритмов) узнать, является алгоритм А самоприменимым или несамоприменимым. [43]
Математический анализ проблемы позволил выявить фундаментальную роль исключений из правил - оказалось, что семантика К-систем трансфинитна, а сами К-системы представляют собой нетривиальное обобщение финитных, в том числе, алгоритмических систем. [44]
![]() |
Граф переходов машины Тьюринга. [45] |