Программа описание на формальном языке Формальный язык программирования пример