Математический словарь
" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПРОГРАММИРОВАНИЯ ЯЗЫК

Значение ПРОГРАММИРОВАНИЯ ЯЗЫК в математической энциклопедии:

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

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

Наиболее распространенным видом П. я. являются алгоритмические языки, формулирующие алгоритм решения задачи на ЭВМ. Обычно П. я. носит универсальный характер, допуская формулирование алгоритмов решения разнообразных задач, подлежащих решению на разных ЭВМ. В то же время для более удобного представления задач из нек-рого четко выделяемого класса создают проблемно-ориентированные языки, а для более полного использования возможностей конкретной ЭВМ создают машинно-ориентированные языки.. Наиболее распространенные П. я. в 1970-е гг.- алгол, фортран, кобол, ПЛ / I, алгол-68. К более специальным языкам относятся лисп, симула, снобол. В СССР получили распространение также языки альфа и рефал.

Лит.:[1] Криницкий Н. А., Миронов Г. А., Фролов Г . Д., Программирование и алгоритмические языки, 2 изд., М., 1979; [2] Пратт Т., Языки программирования: разработка и реализация, пер. с англ., М., 1979.

А. П. Ершов.