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