Cтраница 1
![]() |
Динамический каталог исполняемых программ-процессов. [1] |
Рассмотренное исчисление машинных строк так или иначе присутствует в широко используемых языках и системах программирования. [2]
Первое, что берется из базисных элементов исчисления машинных строк - это все три типа данных ( вместе с синтаксическими формами представления соответствующих констант): множество натуральных чисел, множество адресов, множество значений машинных строк. [3]
Первое, что нас не устраивает в исчислении машинных строк - это разобщенность машинных строк. Каждая из них имеет свой идентификатор и является самостоятельным объектом манипуляций, требующим индивидуального внимания программиста. [4]
![]() |
Базовые функции и операции исчисления машинных строк. [5] |
В таблице 1 приведены базовые функции и операции исчисления машинных строк. [6]
В рассмотренных терминах проиллюстрируем, каким образом в рамках исчисления машинных строк производится работа с нерегулярными структурами данных. [7]
Мы показали, что исчисление древовидных структур представимо в исчислении машинных строк. Можно показать и обратное: исчисление машинных строк представимо в исчислении древовидных структур. [8]
Из сопоставления с таблицей 1 видно, что предлагаемое исчисление древовидных структур фактически наследует исчисление машинных строк, добавляя к нему регламентирующие структуры композиции машинных строк в древовидные структуры с простыми и наглядными функциями работы с ними. [9]
Примером использования древовидных структур являются каталоги переменных ( табл. 2), а также каталоги программ и текущих процессов ( рис. 4, 5), наглядно иллюстрирующие принципы реализации исчисления машинных строк. [10]
В рамках классической модели универсальный счет выражается через манипуляции с машинными строками как линейными структурами в виде сплошных отрезков памяти разной длины. Исчисление машинных строк определяет те манипуляции со строками, которые составляют ядро универсального компьютерного базиса. По сути, практически все значимые проекции машины фон Неймана на реальные вычислительные ресурсы с необходимостью включают в себя исчисление машинных строк. [11]
Перед обоснованием и построением возможного варианта канонической формы компьютерной информации в качестве отправной точки вкратце воспроизведем классический ( в соответствии с моделью фон Неймана) способ компьютерной обработки информации, свойственный парадигме изолированного компьютера. Представим его в виде исчисления машинных строк. [12]
Мы показали, что исчисление древовидных структур представимо в исчислении машинных строк. Можно показать и обратное: исчисление машинных строк представимо в исчислении древовидных структур. [13]
![]() |
Структура связей между вершинами-строками для двоичного дерева, изображенного на рисунке справа. [14] |
При этом ничем не ограниченная свобода программиста в построении связей ведет к избыточному разнообразию форм представления и способов обработки структурированной информации. Именно здесь, в этой части исчисления машинных строк, скрыта та лишняя степень свободы машины фон Неймана, которая является источником непрерывного воспроизводства информационного шума. [15]