← All problems
Unverified

Is any ``strongly'' non-overlapping right-linear term-rewriting system confluent?

The source page states the original problem together with its recorded qualifications and progress updates as follows.

Is any strongly'' non-overlapping right-linear term-rewriting system confluent? (Strong'' in the sense that left-hand sides are non-overlapping even when the occurrences of variables have been renamed apart [Oyamaguchi, 1993].) On the one hand, strongly non-overlapping systems need not be confluent [Oyamaguchi, 1993]; on the other hand, strongly non-overlapping right-ground systems are [Oyamaguchi, 1993].

Recorded progress.

A partial positive solution is given in [Oyamaguchi, 1993], namely, any strongly non-overlapping right-linear term-rewriting system is confluent if it satisfies the condition that for any rewrite rule, no variables occurring more than once in the left-hand-side occur in the right-hand-side.

Coming soon

Organizer

Boyuan Wang portraitBoyuan Wang
Minghan Wang portraitMinghan Wang
Bochao Li portraitBochao Li
Hongwei Hu portraitHongwei Hu