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