Synchronization Languages and Rewriting Systems

M. Clerbout; Y. Roos; Isabelle Ryl

inria-00542547, version 1

Synchronization Languages and Rewriting Systems

M. Clerbout ¹, Y. Roos ¹, Isabelle Ryl ¹

Information and Computation 167 (2001) 46--69

Résumé : We extend the rewriting system defined by L. Guo, K. Salomaa and S. Yu in order to characterize closure properties of synchronization languages. The extension is shown to have well-known properties of commutation systems and to be the rewriting system which suits the synchronization languages best. We give a characterization of finite synchronization languages in terms of languages closed under the extension.

1 : Laboratoire d'Informatique Fondamentale de Lille (LIFL)
CNRS : UMR8022 – Université Lille I - Sciences et technologies – Université Lille III - Sciences humaines et sociales – INRIA

inria-00542547, version 1
http://hal.inria.fr/inria-00542547
oai:hal.inria.fr:inria-00542547
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : Jeudi 2 Décembre 2010, 22:48:31
Dernière modification le : Jeudi 2 Décembre 2010, 23:09:36

Voir la fiche détaillée

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="article"><head>Articles dans des revues avec comité de lecture</head>
<biblStruct type="article" xml:id="inria-00542547"><analytic>
<author><persName><forename>M.</forename><surname>Clerbout</surname></persName>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale de Lille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
<orgName type="institution">Université Lille III - Sciences humaines et sociales</orgName>
<orgName type="institution">INRIA</orgName>
</affiliation>
</author>
<author><persName><forename>Y.</forename><surname>Roos</surname></persName>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale de Lille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
<orgName type="institution">Université Lille III - Sciences humaines et sociales</orgName>
<orgName type="institution">INRIA</orgName>
</affiliation>
</author>
<author><persName><forename>Isabelle</forename><surname>Ryl</surname></persName>
<affiliation>
<orgName type="laboratory">LIFL</orgName>
<orgName type="team">Laboratoire d'Informatique Fondamentale de Lille</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
<orgName type="institution">Université Lille III - Sciences humaines et sociales</orgName>
<orgName type="institution">INRIA</orgName>
</affiliation>
</author>
<title type="main" level="a">Synchronization Languages and Rewriting Systems</title></analytic><monogr><title level="j" type="main">Information and Computation</title><imprint><publisher>Elsevier</publisher><biblScope type="publicationDate">2001-00-00</biblScope><biblScope type="vol">167</biblScope><biblScope type="pp">46--69</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00542547</idno></biblStruct>
</listBibl>
</listBibl>