Ines Klimann
LIAFA
Ines.Klimann@liafa.jussieu.fr
On s'interesse au problème suivant: trouver le sup
de l'ensemble des X tels que 
et 
, où A, B et K sont des paramètres
fixes ayant une certaine régularité. Dans le cadre
des langages, cette regularité est la rationnalité,
dans le cadre des series formelles à coefficients dans
un semi-anneau idempotent, on definira une nouvelle
notion qui s'adapte bien au problème. On se propose
de trouver la solution en développant de nouveaux
outils qui associent automates (pour les langages)
ou répresentations linéaires (pour les séries) à des
formules booleennes.