Expressivité des automates pondérés circulaires et boustrophédons
Cette thèse porte sur certaines extensions des automates pondérés, et étudie les séries qu’ils réalisent en fonction de la nature des poids.Ces extensions se distinguent par les mouvements supplémentaires autorisés à la tête de lecture de l’automate : retour au début du mot pour les automates circul...
Main Author: | Dando, Louis-Marie |
---|---|
Other Authors: | Bordeaux |
Language: | fr |
Published: |
2019
|
Subjects: | |
Online Access: | http://www.theses.fr/2019BORD0130/document |
Similar Items
-
Contribution aux problèmes de réalisation des langages et séries rationnels
by: Lombardy, Sylvain
Published: (2005) -
Etude d'extensions des langages déterministes
by: Miklarz, Clément
Published: (2019) -
Automates à contraintes semilinéaires = Automata with a semilinear constraint
by: Cadilhac, Michaël
Published: (2014) -
Automates à contraintes semilinéaires = Automata with a semilinear constraint
by: Cadilhac, Michaël
Published: (2014) -
Verification of Stochastic Timed Automata
by: Carlier, Pierre
Published: (2017)