Применение формальных методов для построения генеалогической клас-сификации семитских языков: проблемы и перспективыдоклад на конференции