Очерки по истории компьютерной науки и техники в Украине



           

Очерки по истории компьютерной науки и техники в Украине - стр. 99


удается даже при хороших архитектурных идеях.
 
В основу нашей дальнейшей работы по архитектуре машин я положил
последовательный отказ от хорошо известных принципов фон Неймана
(последовательная структура языка, т.е. выполнение команд одна за
другой; командно-адресный принцип, т.е. в команде содержатся адреса
операндов, и команды хранятся так же, как и операнды в памяти;
максимальная простота системы команд, т.е. максимальная простота
машинного языка. Можно говорить и одругих принципах, но эти главные).
Появление именно таких принципов не удивительно. В эпоху ламповых
машин, когда каждый разряд арифметического устройства - это минимум
один триод, необходима простая машина с простыми командами.
 
Однако я уже тогда предвидел развитие микроэлектроники и то, что
конструктивные элементы будут изготовляться в едином технологическом
процессе и будут стоить очень дешево. Еще тогда я сформулировал такую
цель для физиков: композиционное конструирование твердого тела для
создания машинной среды. В этом случае принципы фон Неймана не
приемлемы. В качестве одного из новых принципов я предложил
усложненный машинный язык, потому что компилирующие системы
усложнялись и надо было упрощать программирование с двух концов - с
точки зрения языков и компиляторов, т.е. приближать машинный язык к
входному. Реализовав частично эту идею в ЭВМ серии МИР, мы стали
развивать ее дальше в соответствии с принципом постепенного усложнения
машинного языка, причем не просто усложнения, а приближения к
человеческому языку. Пределом я поставил разговор с машиной на
естественном языке (и выдачу заданий).
 
Чтобы выполнить эту задачу, т.е. вести разговор с машиной на
естественном языке, надо, конечно, прежде всего автоматизировать
логические рассуждения, что проще всего, поскольку какие-то формализмы
уже были известны. Но анализ этих формализмов показал, что
классическая математическая логика многого не учитывает. И поэтому
была выдвинута задача построения практической математической логики.



Содержание  Назад  Вперед