Semi-commutations and Partial Commutations

M. Clerbout (1) , Y. Roos (1) , Isabelle Ryl (1)

1 LIFL - Laboratoire d'Informatique Fondamentale de Lille

The aim of this paper is to show that a semi-commutation function can be expressed as the compound of a sequential transformation, a partial commutation function, and the reverse transformation. Moreover, we give a necessary and sufficient condition for the image of a regular language to be computed by the compound of two sequential functions and a partial commutation function.

M. Clerbout, Y. Roos, Isabelle Ryl. Semi-commutations and Partial Commutations. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), 2000, 34 (4), pp.307--330. ⟨inria-00542549⟩