Complexity classification of operators in regular rewriting systems

Classification des opérateurs selon la complexité dans un système de réécriture régulier

Cyril Chabaud (1)

1 CALFOR - Calcul formel

Regular tree rewriting systems identify with a representation matrix from which we make an algebraic analysis in order to evaluate the average complexity of all the system operators. Then, a joint analysis of the dominating eigenvalue and the directed graph of the representation matrix gives a classification of the system operators using the results of singularity analysis as mathematical background.

Un système de réécriture régulier est caractérisé par une matrice de représentation dont l'analyse algébrique permet d'évaluer la complexité moyenne des opérateurs du système. L'analyse de la valeur propre dominante de la matrice de représentation et de son graphe orienté dégage une classification des opérateurs du système en s'appuyant sur des résultats d'analyse de singularité.

Mots clés: rewriting; algebraic functions; nonnegative matrices; formal differentiation

Mots clés: réécriture; fonctions algébriques; matrices non négatives; dérivation formelle

Domaines: Informatique [cs]

Cyril Chabaud. Complexity classification of operators in regular rewriting systems. [Research Report] lip6.1998.027, LIP6. 1998. ⟨hal-02547766⟩