Читать «Том 15. От абака к цифровой революции. Алгоритмы и вычисления» онлайн - страница 72

Дональд Кнут (слева) и Гэрман Цапф обсуждают свойства новой компьютерной типографики. Стэнфордский университет, Калифорния, 1980 год.

Существуют и другие способы описания семантики языка. В 1968 году силами Дональда Кнута, одного из самых уважаемых специалистов в области вычислительных систем, известного своим чувством юмора, была создана атрибутивная грамматика.

Эта грамматика подробным образом изучается применительно к методам компиляции. Существует и четвертый тип семантики — денотационная, которая была разработана в Оксфордском университете американцами Даной Скоттом и британцем Кристофером Стрэчи в начале 1970-х. В денотационной семантике каждой программе присваивается значение, называемое денотацией (denotation), выраженное в терминах математических объектов. Денотация, как правило, является функцией, сопоставляющей входные и выходные значения программы. Проводились исследования систем для генерации компиляторов на основе денотационной семантики языка, однако на данный момент подобные системы являются крайне неэффективными.

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

Библиография

Al-KHWARIZMI, М. IbN Musa, El libro del algebra, Madrid, Nivola, 2009.

BENTLEY, P. J., El libro de las cifras, Barcelona, Paidos, 2008.

BOYER, C., Historia de la matematica, Madrid, Alianza, 1996.

CoELLO, C. A., Breve historia de la computation у sus pioneros, Mexico, Fondo de Cultura Economica, 2003.

Ifrah, G., Historia universal de las cifras, Madrid, Espasa-Calpe, 2002.

SMITH, D. E., History of Mathematics, Nueva York, Dover Publications, obra de 1921 reeditada en 1951.

* * *

_{Научно-популярное издание}

_{Выходит в свет отдельными томами с 2014 года}

_{Мир математики}

_{Том 15}

_{Бизенц Торра}