Какой будет самая полная библиотека конечных автоматов для Python, которая способна выполнять основные манипуляции, такие как:
- Минимизация,
- Определение недетерминированных конечных автоматов
- Объединение, пересечение и произведение языков, сгенерированных этими автоматами и т. Д.
Все библиотеки, которые я нахожу, либо неполные, либо не работают по принципу plug-and-play-мудрый.