Mathematical systems theory

, Volume 28, Issue 4, pp 341–361

On confluence of one-rule trace-rewriting systems

  • C. Wrathall
  • V. Diekert

DOI: 10.1007/BF01185401

Cite this article as:
Wrathall, C. & Diekert, V. Math. Systems Theory (1995) 28: 341. doi:10.1007/BF01185401


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.

Copyright information

© Springer-Verlag New York Inc. 1995

Authors and Affiliations

  • C. Wrathall
    • 1
  • V. Diekert
    • 2
  1. 1.Department of MathematicsUniversity of CaliforniaSanta BarbaraUSA
  2. 2.Institut für InformatikUniversität StuttgartStuttgart 80Germany