Алгоритмическая система

Cтраница 4

Алгоритмическая система включает в себя обычно объекты двоякой природы: операторы и распознаватели. Операторы представляют собой достаточно простые преобразования слов; с помощью последовательного выполнения операторов реализуются любые алгоритмы в рассматриваемой алгоритмической системе. [46]

Как мы уже условились, всякий общий способ задания алгоритмов называется алгоритмической системой. Алгоритмическая система, основанная на соответствии между словами в абстрактном алфавите, включает в себя объекты двоякой природы: элементарные операторы и элементарные распознаватели. [47]

Машины, введенные Постом и Тьюрингом, отличались не очень существенно и в дальнейшем стали называться машинами Тьюринга. Рассмотрим алгоритмические системы, представленные этими машинами. [48]

При описании алгоритмических систем используются специальные формализованные средства. [49]

Общая схема организации рекурсивного процесса. [50]

Ak - это сложная алгоритмическая система, работа которой происходит следующим образом. [51]

Как было указано выше, конечным называем дискретный преобразователь, который имеет конечное множество управляющих состояний. Конечные преобразователи описывают широкий класс алгоритмических систем и являются базовыми для построения более мощных систем, в частности, рекурсивных. [52]

Обычно множество состояний дискретного преобразователя конечно. Однако для адекватного описания некоторых алгоритмических систем приходится рассматривать дискретные преобразователи с бесконечным числом состояний. Такая ситуация имеет место, например, если рассматривать алгоритмические языки типа АЛГОЛ, использующие рекурсивные обращения к процедурам. Поэтому будем использовать условие конечности дискретного преобразователя лишь в тех случаях, когда это ограничение необходимо для формулировки результатов. [53]

Рекурсивные преобразователи являются естественным обобщением дискретных преобразователей. Они описывают более общий класс алгоритмических систем, включая рекурсивные программы и сложные технические устройства. [54]

Страницы: 1 2 3 4