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