29 Nov
2024
29 Nov
'24
6:21 p.m.
Bonjour, J'aimerais utiliser spot pour manipuler des automates de Buchi, parité,... en librairie (pour l'intégrer en fait à du code déjà existant). Il semble que c'est possible, mais mes automates devraient avoir un alphabet de la forme {0,...,n} ou {1,...,n}, et pas un BDD. Comment puis-je faire ? Ou, plus généralement, comment avoir accès à une documentation complète qui ne passe pas par doxygen?
Merci beaucoup d'avance, Laurent