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