Формальный язык для описания данных (информации) и алгоритма (программы) их обработки на ЭВМ; характеризуется высокой степенью точности понятий, соответствующих некоторой области применения программы и позволяет лаконично и емко определять задания в терминах, близких к используемым в профессиональной деятельности пользователей.