Библиотека Python Finite Automata

Каковы были бы самые полные конечные автоматы для Python, которая способна выполнять базовые манипуляции, такие как:

• минимизация,
• Определение недетерминированных конечных автоматов
• союза, пересечение и продукт языков, генерируемых этими автоматами и т. Д.

Все библиотеки, которые я нахожу, являются неполными, либо не работают подключаемым и воспроизведением.