On confluence of one-rule trace-rewriting systems
- 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.