Synchronization Languages and Rewriting Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Information and Computation Year : 2001

Synchronization Languages and Rewriting Systems

Abstract

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.
No file

Dates and versions

inria-00542547 , version 1 (02-12-2010)

Identifiers

  • HAL Id : inria-00542547 , version 1

Cite

M. Clerbout, Y. Roos, Isabelle Ryl. Synchronization Languages and Rewriting Systems. Information and Computation, 2001, 167, pp.46--69. ⟨inria-00542547⟩
31 View
0 Download

Share

Gmail Facebook X LinkedIn More