Программа описание на формальном языке Примеры данных на формальном языке