Author manuscript, published in "ICALP 2008, Reykjavik: Islande (2008)" When does partial commutative closure preserve regularity?
The closure of a regular language under commutation or partial commutation has been extensively studied [1, 11, 12, 13], notably in connection with regular model checking [2, 3, 7] or in the study of Mazurkiewicz traces, one of the models
Main Authors: | , , |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
2008
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.383.2125 http://hal.archives-ouvertes.fr/docs/00/34/08/06/PDF/CommutationsWeb.pdf |
Summary: | The closure of a regular language under commutation or partial commutation has been extensively studied [1, 11, 12, 13], notably in connection with regular model checking [2, 3, 7] or in the study of Mazurkiewicz traces, one of the models |
---|