Формализация представления алгоритмов

Абстрактные алгоритмические модели, как уже не один раз отмечалось, употребляются только при построении теории и подтверждении общих параметров алгоритмов. Для практических целей такое представление алгоритмов в большинстве случаев неловко, так как, во-1-х, не всегда фактически реализуема форма представления (к примеру, машина Тьюринга либо Поста); во-2-х, простые шаги, выделяемые в моделях, оказываются очень «мелкими» для современных технических устройств, которые выступают в качестве исполнителей алгоритмов. В связи с этим встает вопрос о том, как может быть описан метод, созданный для решения практической задачки при помощи реального технического устройства? Дискуссии вариантов ответа на него и посвящена данная глава.

content

Share
Published by
content

Recent Posts

Копирование и размножение планов и карт

Если основа оригинала (карты пли плана) прозрачна, то копию можно снять при помощи стола со…

6 месяцев ago

Решение задач на топографических планах (картах)

Определение координат точки. Пусть точка А (рис. 32) находится в квадрате, абсциссы и ординаты вершин…

6 месяцев ago

Рельеф местности и способы его изображения

Рельефом местности называется совокупность неровностей физической поверхности земли. В зависимости от характера рельефа местность делят…

7 месяцев ago

Условные знаки топографических планов и карт

Для обозначения на планах и картах различных предметов местности, применяются специально разработанные условные знаки. Для обличения…

7 месяцев ago

Номенклатура карт и планов

В инженерной геодезии чаще всего пользуются топографическими картами. Их составляют в масштабах 1:10000, 1:25000, 1:50000…

7 месяцев ago

Масштабы

Масштабом называется отношение длины отрезка линии на плане (профиле) к соответствующей проекции этой линии на…

7 месяцев ago