Реализуются основные операции с недетерминированными и детерминированными конечными автоматами НКА и ДКА, такие как:
- Создание НКА из буквы, строки
- Удаление epsilon-переходов
- Объединение, конкатенация, операции Клини
- Проверка распознавания слова НКА
- Создание ДКА из НКА
- Взятие дополнения ДКА
- Минимизация ДКА
- Проверка распознавания слова ДКА
- Получение регулярного выражения из ДКА
В директории examples находятся примеры использования библиотеки. Для тестирования используется библиотека Google Test.