On One-Rule Grid Semi-Thue Systems
Type de document :
Article dans une revue scientifique: Article original
DOI :
Titre :
On One-Rule Grid Semi-Thue Systems
Auteur(s) :
Latteux, Michel [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Roos, Yves [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Modeling Tree Structures, Machine Learning, and Information Extraction [MOSTRARE]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Roos, Yves [Auteur]

Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Modeling Tree Structures, Machine Learning, and Information Extraction [MOSTRARE]
Titre de la revue :
Fundamenta Informaticae
Words, Graphs, Automata and Languages. Special Issue Honoring the 60th Birthday of Professor Tero Harju
Words, Graphs, Automata and Languages. Special Issue Honoring the 60th Birthday of Professor Tero Harju
Pagination :
189-204
Éditeur :
Polskie Towarzystwo Matematyczne
Date de publication :
2012
ISSN :
0169-2968
Discipline(s) HAL :
Informatique [cs]/Théorie et langage formel [cs.FL]
Résumé :
La famille des systèmes de semi-Thue à une seule règle "en grille", introduite par Alfons Geser, est la famille des systèmes de réécriture de mots pour lesquels il existe une lettre apparaissant autant de fois dans la ...
Lire la suite >La famille des systèmes de semi-Thue à une seule règle "en grille", introduite par Alfons Geser, est la famille des systèmes de réécriture de mots pour lesquels il existe une lettre apparaissant autant de fois dans la partie gauche et dans la partie droite de leur unique règle. Nous prouvons que, pour tout système S de cette famille, l'ensemble S(w) des mots obtenus à partir du mot w en appliquant itérativement la règle de réécriture de S est un langage algébrique constructible. Nous prouvons également que l'ensemble Loop(S) des mots qui sont à l'origine d'une boucle de réécriture pour un systèmes de semi-Thue à une seule règle "en grille" S est un langage régulier.Lire moins >
Lire la suite >La famille des systèmes de semi-Thue à une seule règle "en grille", introduite par Alfons Geser, est la famille des systèmes de réécriture de mots pour lesquels il existe une lettre apparaissant autant de fois dans la partie gauche et dans la partie droite de leur unique règle. Nous prouvons que, pour tout système S de cette famille, l'ensemble S(w) des mots obtenus à partir du mot w en appliquant itérativement la règle de réécriture de S est un langage algébrique constructible. Nous prouvons également que l'ensemble Loop(S) des mots qui sont à l'origine d'une boucle de réécriture pour un systèmes de semi-Thue à une seule règle "en grille" S est un langage régulier.Lire moins >
Résumé en anglais : [en]
The family of one-rule grid semi-Thue systems, introduced by Alfons Geser, is the family of one-rule semi-Thue systems such that there exists a letter c that occurs as often in the left-hand side as the right-hand side of ...
Lire la suite >The family of one-rule grid semi-Thue systems, introduced by Alfons Geser, is the family of one-rule semi-Thue systems such that there exists a letter c that occurs as often in the left-hand side as the right-hand side of the rewriting rule. We prove that for any one-rule grid semi-Thue system S, the set S(w) of all words obtainable from w using repeatedly the rewriting rule of S is a constructible context-free language. We also prove the regularity of the set Loop(S) of all words that start a loop in a one-rule grid semi-Thue systems S.Lire moins >
Lire la suite >The family of one-rule grid semi-Thue systems, introduced by Alfons Geser, is the family of one-rule semi-Thue systems such that there exists a letter c that occurs as often in the left-hand side as the right-hand side of the rewriting rule. We prove that for any one-rule grid semi-Thue system S, the set S(w) of all words obtainable from w using repeatedly the rewriting rule of S is a constructible context-free language. We also prove the regularity of the set Loop(S) of all words that start a loop in a one-rule grid semi-Thue systems S.Lire moins >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Fichiers
- https://hal.inria.fr/hal-00749289/document
- Accès libre
- Accéder au document
- https://hal.inria.fr/hal-00749289/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- on-one-rule-grid-semi-thue-systems.pdf
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- on-one-rule-grid-semi-thue-systems.pdf
- Accès libre
- Accéder au document