Декларативные конечные автоматы на Python

Да, видел эту библиотеку.

Не пытался сделать "убийцу" какого-то популярного решения, однако могу отметить ключевые различия:

- Transitions имеет императивный интерфейс (Создать fsm, добавить переход и тд)
- В transitions fsm создаётся каждый раз при создании объекта, т.е. by-desing возможна ситуация, когда у двух объектов одного и того же класса будут разные fsm. в моей реализации за счёт протокола дескриптора этого удалось избежать

Декларативные конечные автоматы на Python

В вашем понимании "Верная" это то же, что и "Традиционная"?

Я считаю, что в данном случае верной реализации нет, т.к. fsm это абстракция