Search
Now showing items 1-1 of 1
Complexité raffinée du problème d'intersection d'automates
(2012-07-05)
Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas ...