Automates probabilistes: problèmes décidables et indécidables
Résumé
Nous présentons une nouvelle preuve de l'indécidabilité du problème du vide pour les automates probabilistes. Nous présentons également la réponse à une question ouverte de Bertoni: on ne peut pas décider si un automate accepte des mots avec probabilité arbitrairement proche de 1.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...