I&C Journal 2001 Journal Article
Synchronization Languages and Rewriting Systems
- M Clerbout
- Y Roos
- I Ryl
We extend the rewriting system defined by Guo et al. 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.