Формальные языки представления информация Формальные языки определения свойства примеры