← All problems
Unverified
Is left-sequentiality a decidable property of orthogonal systems?
The source page states the original problem together with its recorded qualifications and progress updates as follows.
Thatte [Middeldorp, 1991] showed that an orthogonal constructor-based rewrite system is left-sequential if and only if it is strongly sequential. Does this equivalence extend to the whole class of orthogonal term-rewriting systems? If not, is left-sequentiality a decidable property of orthogonal systems? See also [Middeldorp, 1991].
