Christian Antoine, Bernard Le Goff et Jean-Éric Pin
Résumé : Nous présentons un nouveau langage
graphique qui peut servir, par exemple, à mdéliser des VLSI
ou des systèmes de contrôle. Ses primitives sont basées
sur des chronogrammes standard, ce qui est un avantage certain sur d'autres
formalismes car les concepteurs peuvent le maitriser rapidement. La
sémantique est rigoureusement définie dans le formalisme de
la théorie des automates sur les mots infinis. En utilisant ce
formalisme, nous donnons une borne supérieure assez précise
sur la complexité expressive de notre langage graphique en termes
d'une mesure issue de la théorie des langages, le niveau de
concaténation.
Abstract : We present a new graphic language which can serve, for
instance, as models for VLSI and control systems. Its primitives are based
on standard timing diagrams, and this is a great advantage over other
formalisms since designers can rapidly master it. The semantics is
rigorously defined in the formalism of the theory of automata on infinite
words. Using this formalism, we are able to give a rather precise
upper-bound on the expressive power of our graphic language in terms of a
language theoretic measure, the concatenation level.