Решая задачи на электронной вычислительной машине, программист пользуется:1) арифметическими вычислениями;2) формальной логикой, т. е. принятием решения на основе результатов переработки информации. В данной лекции основное внимание будет уделено именно этой нечисленн...

Разработка методов автоматического программирования требует обмена программами, а также структурной близости языков. Конечной перспективной целью, стоящей перед исследователями, разрабатывающими проблему памяти и информационного поиска применительно к программированию...

Блоки, выходящие за пределы этой линии, пока не могут быть обработаны машинными методами. Они требуют вмешательства человека. Так, программированиена вычислительных машинах, являющихся элементом широко развитой системы обработки информации, связано с необходимостью со...

Рассмотрим схему информационной машины, отвечающей этому требованию. Разработка унифицированных систем программирования идет по пути полной механизации всех процессов решения задач. Одна и та же машина (или система машин) хранит в записи на магнитной ленте все составл...

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

Назовем такую машинную функцию. Совокупность всех таких машинных функций назовем F. Тогда электронные элементы машины образуют оператор, действующий на множество всех функций. Оператор может быть расширен таким образом, что под этим будет пониматься вся машина, включа...

Такое установление соответствия между функциями осуществляется по заранее вводимым правилам, а между оператором и оператором делается по частям. Так, оператор задачи разлагается на последовательные операторы.Обычно оператор устанавливает не взаимно однозначное соответ...

Математический аппарат, применяемый при кодировании, по существу, тот же, что при решении проблемы кодирования математических выражений данной группы или алгебраической структуры в двоичную форму. Шеннон, Винер и др. разработали приложение этой проблемы к некоторым за...

Программирование заключается в выполнении канонического разложения, а затем в выполнении операции перевода.Разложение оператора на канонические компоненты до последнего времени было проблемой, которая решалась на ощупь. Не имелось общих теоретических основ решения тог...