Je voulais savoir s'il existe des algorithmes (également déjà implémentés) pour vérifier la vacuité d'un automate alternatif en particulier un automate alternatif faible.Vide sur des automates alternatifs faibles
Il existe une implémentation appelée ALASKA: http://www.antichains.be/alaska/ - vous trouverez également des liens vers les documents théoriques respectifs sur cette page.
Le site que vous avez mentionné contient un algorithme pour déterminer le non-vide sur Buchi automate alternatif mais j'ai besoin d'algorithme pour automate alternatif faible – kafka
un cas particulier d'alternance Büchi automata. Marquez simplement tous les états dans un composant rejetant d'un automate alternatif faible comme étant rejetant dans la sémantique de Büchi et faites-en accepter autrement. – CSStudent
Je pense que vous devriez demander sur cstheory.stackexchange.com. – sdcvvc
cstheory.stackexchange.com est pour les questions de niveau de recherche en informatique théorique, ce problème est plutôt pratique – kafka