interprétation des automates déterministes