Christian Antoine, Bernard Le Goff et Jean-Éric Pin
Résumé : On présente un nouveau langage
graphique qui peut servir par exemple de modèle pour les VLSI et
les systèmes de contrôle. Ses primitives utilisent des
diagrammes de temps standards, ce qui est un grand avantage sur d'autres
approches puisque les concepteurs peuvent les maîtriser rapidement.
Leur sémantique est définie de façon rigoureuse en
utilisant le formalisme de la théorie des automates sur les mots
infinis. En utilisant ce formalisme, on peut donner une borne
supérieure assez précise du pouvoir d'expression de notre
langage graphique en terme d'une mesure issue de la théorie des
langages, le niveau de concaténation. Un exemple est
présenté en détail.
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. A detailed
example is presented.