Описание на формальном языке понятном компьютеру последовательности действий которые необходимо