Finitely Terminating

 

A reduction system is called finitely terminating (or Noetherian) if there are no infinite rewriting sequences. This property guarantees that any rewriting algorithm will terminate on any input.

Ordering expressions may help to find out that a reduction system is finitely terminating. Orders used for this purpose are based on some measure of expression complexity. Existence of a reduction order compliant with rules of a term rewriting system guarantees that the system is finitely terminating.

The problem of determining whether a given reduction system is finitely terminating is recursively undecidable.

---

REFERENCES

Baader, F. and Nipkow, T. Term Rewriting and All That. Cambridge, England: Cambridge University Press, 1999.

اخر الاخبار

اخبار العتبة العباسية المقدسة

العتبة العباسية المقدسة تشارك بأكثر من 750 إصدارًا في معرض بغداد الدولي للكتاب

تيمنًا بذكرى ولادة الصادقَين (صلوات الله عليهما) شعبة التوجيه النسوي تنظم مسابقة ميدانية لزائرات مرقد أبي الفضل العباس (عليه السلام)

المجمع العلمي ينظّم أنشطةً قرآنية في محافظتي كربلاء والديوانية

العتبة العباسية المقدسة تختتم فعاليات مهرجان رحمة للعالمين الدولي الأوَّل

المزيد

الآخبار الصحية

الأطعمة الحارة.. "سر صغير" يغير صحة قلبك وعقلك

وباء صامت.. الملايين حول العالم مصابون بالسكري دون أن يعلموا !

لماذا ينصح بتناول تفاحة يوميا؟

8 فواكه طبيعية تمنحك نوما هنيئا.. وتخلصك من الأرق

المزيد

الآخبار التكنلوجية

ثلاث علامات على وجود مشاكل خطيرة في محرك السيارة ؟

ماذا نعرف عن اللقاح الروسي ضد السرطان؟

مركبة فضاء تعثر على دليل عن وجود حياة قديمة على المريخ

لتدريب الذكاء الاصطناعي.. الصين تخطط لإنشاء شبكة حوسبة موحدة

المزيد

مواضيع ذات صلة

Lemma

Proof

Zeno,s Paradoxes

Unexpected Hanging Paradox

Strange Loop

Sorites Paradox

Simpson,s Paradox

Russell,s Antinomy

Paradox

Newcomb,s Paradox

Missing Dollar Paradox

Line Point Picking