Numéro spécial CARI'04 - novembre 2005 Fiche article : |
Une approche formelle de description et de manipulation
|
RÉSUMÉ. Nous
présentons dans ce papier une approche formelle de description,
d'affichage et de manipulation des objets structurés
mathématiques ; basée sur le formalisme des grammaires
attribuées. Nous nous intéressons particulièrement
au problème d'affichage bidimensionnel et bidirectionnel de
certaines expressions et formules mathématiques. En effet, en
plus du caractère bidimensionnel que présentent certains
symboles comme la racine carrée ou la matrice, on note le
problème d'affichage de droite à gauche d'un texte arabe
dans un contexte prévu pour un affichage de gauche à
droite d'un texte indo-européen, ou encore un affichage
bidirectionnel mélangeant les deux modes. Après une
étude de quelques méthodes proposées dans la
littérature, nous montrons comment la méthode des
grammaires attribuées s'adapte facilement à ces types de
problèmes. ABSTRACT. We
present in this paper a formal approach of description, posting and
handling of the mathematical structured objects; based on the formalism
of attribute grammars. We are interested particularly in the problem of
two-dimensional and bidirectional posting of certain expressions and
mathematical formulas. Indeed, in more of the two-dimensional character
that presents certain mathematical symbols like the square root or the
matrix, we also note the problem of posting rightto-left of an Arab
text in a context planned for a posting left-to-right of an
Indo-European text, or a bidirectional posting mixing the two modes.
After a study of some solutions suggested in the literature, we show
how the method of attribute grammars adapts easily to these types of
problem. MOTS-CLÉS :
: Grammaires attribuées, évaluation incrémentale
des attributs, formules mathématiques, DTD, MathML, XML,
interaction homme machine, CACEDE. KEYWORDS:
Attribute grammars, incremental evaluation of attributes, mathematics
formulas, DTD, MathML, XML, man-machine interface, CACEDE. |
A R I M A arima-office@inria.fr