Rewriting Systems

In synchronous rewriting, the productions of two rewriting systems are paired and applied synchronously in the derivation of a pair of strings. We present a new syn- chronous rewriting system …...

This paper proposes a generic mathemati- cal formalism for the combination of various structures: strings, trees, dags, graphs and products of them. The polari- zation of the objects of the …...