ON CONFLUENCE VERSUS STRONG CONFLUENCE FOR ONE-RULE TRACE-REWRITING SYSTEMS

Authors
OTTO F
Citation
F. Otto, ON CONFLUENCE VERSUS STRONG CONFLUENCE FOR ONE-RULE TRACE-REWRITING SYSTEMS, Mathematical systems theory, 28(4), 1995, pp. 363-384
Citations number
10
Categorie Soggetti
System Science","Mathematics, Pure","Computer Science Theory & Methods",Mathematics
Journal title
Mathematical systems theory → ACNP
ISSN journal
00255661
Volume
28
Issue
4
Year of publication
1995
Pages
363 - 384
Database
ISI
SICI code
0025-5661(1995)28:4<363:OCVSCF>2.0.ZU;2-F
Abstract
Examples of one-rule trace-rewriting systems are given that are conflu ent but not strongly confluent. This contrasts with the situation for one-rule string-rewriting systems as well as with the situation for on e-rule commutative string-rewriting systems.