Complexité raffinée du problème d'intersection d'automates

Complexité raffinée du problème d'intersection d'automates

Show other versions (1)

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 borné (resp. borné par une constante). Dans ce mémoire...

Full description

Bibliographic Details
Main Author: Blondin, Michael
Other Authors: McKenzie, Pierre
Language:fr
Published: 2012
Subjects:
intersection d'automates
problèmes algébriques
complexité du calcul
espace logarithmique
automata intersection
algebraic problems
computational complexity
logspace
Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984)
Online Access:http://hdl.handle.net/1866/8440

Internet

http://hdl.handle.net/1866/8440

Similar Items