Математическая энциклопедия » Что такое «Автоматизация Программирования»?

Значение слова, определение и толкование термина

Автоматизация Программирования

Avtomatizatsiya Programmirovaniya

использование вычислительных машин для автоматич. получения машинной программы по нек-рой исходной записи, более близкой к начальной формулировке задачи. Содержание А. п. меняется со временем, отражая общее развитие средств общения человека с вычислительной машиной и методов программирования. В начале А. и. заключалась в передаче машине процесса трансляции (перевода) в машинную программу описания алгоритма решения задачи, выраженного в нек-ром алгоритмическом языке. Затем в процесс А. п. была включена процедура направленного синтеза алгоритма решения но сокращенной записи задачи, принадлежащей пек-рому фиксированному классу. В настоящее время (70-е гг.) складывается новое содержание А. п. как всеобъемлющей процедуры синтеза алгоритма решения задачи в рамках существенно более широкого языка формулирования задач, не ограничиваемого конкретным классом. Синтез сопровождается контролем правильности алгоритма и привлекает в качестве формального аппарата различные модели семантики естественных языков, исчисление предикатов и методы поиска доказательств. А П. Ершов.

  • ВКонтакте

  • Facebook

  • Мой мир@mail.ru

  • Twitter

  • Одноклассники

  • Google+

См. также

  • наиб. глубоководные совр. мор. и океанич. осадки (преим. карбонатные и кремнистые илы, глубоководная красная глина), отлагающиеся в зоне абис

  • методы поисков полезных ископаемых, основанные на выявлении повыш. концентраций рудообразующих элементов в почве и в золе р-ний или аномал