LIP6 1998/027

• Rapports de recherche
  Classification des opérateurs selon la complexité dans un système de réécriture régulier
• C. Chabaud
• 23 pages - 24/06/1998- document en - http://www.lip6.fr/lip6/reports/1998/lip6.1998.027.ps.gz - 121 Ko
• Contact : Cyril.Chabaud (at) nulllip6.fr
• Ancien Thème : CALFOR
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 : réécriture, fonctions algébriques, matrices non négatives, dérivation formelle
• Directeur de la publication : Annick.Valibouze (at) nulllip6.fr