Конечные автоматы и автоматные языки являются эффективным средством описания и моделирования программных систем. Для исследования свойств автоматных языков могут быть применены подходы, которые традиционно относятся к области анализа данных. В работе рассмотрено решение задачи классификации слов над заданным алфавитом с использованием методов машинного обучения с учителем. В этой задаче рассмотрены два класса слов, один из которых представляется автоматным языком, а второй класс является дополнением этого языка. Однако существенным ограничением является то, что конечный автомат, задающий этот язык, считается неизвестным. Известны только эталонные представители каждого из классов.