Формальные языки предназначенные для записи алгоритмов исполнителем которых будет компьютер