m

F Nous contacter

0

Documents  Filiot, Emmanuel | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- vi; 139 p.
ISBN 978-2-271-12611-5

Localisation : Colloque 1er étage (MARS);Ouvrage RdC (INFO)

informatique mathématique # transduction # mot sturmien # maillage 3D # poset, polynôme, polytope (popopo) # algorithmique distribuée # système d'agents mobiles

68Q45 ; 68R15 ; 68P20 ; 94A08 ; 52A25 ; 06A07

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Research schools

Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d’illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie :
- caractérisation, décision et minimisation des transducteurs séquentiels ;
- équivalence et fonctionnalité de transducteurs : de l’indécidabilité à la décidabilité ;
- présentation logique des transducteurs, et clôture par composition.
Après une introduction générale présentant les principaux modèles et problèmes étudiés, nous étudierons plus précisément trois sujets qui permettront d’illustrer des propriétés algorithmiques, des aspects algébriques et logiques de cette théorie :
- caractérisation, décision et minimisation des transducteurs séquentiels ;
- équivalence et fonctionnalité de transducteurs : de l’indécidabilité à la décidabilité ;
- présentation logique des ...

68Q45 ; 03D05 ; 03B25

... Lire [+]

Z