Mathematical systems theory

, Volume 28, Issue 4, pp 341-361

First online:

On confluence of one-rule trace-rewriting systems

  • C. WrathallAffiliated withDepartment of Mathematics, University of California
  • , V. DiekertAffiliated withInstitut für Informatik, Universität Stuttgart

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


The paper presents combinatorial criteria for confluence of one-rule trace-rewriting systems. The criteria are based on self-overlaps of traces, which are closely related to the notion of conjugacy of traces, and can be tested in linear time. As a special case, we reobtain the corresponding results for strings.