Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems

ما نشان می دهیم که غیر قابل تشخیص است که آیا تقاطع بسته های انتقالی بازتابی از دو روابط بازنویسی ناشی از سیستم های بازنویسی اصطلاح برابر با بسته شدن تکراری بازخوردی یک رابطه بازنویسی است که توسط یک سیستم بازنویسی اصطلاح ایجاد شده است.