توسعه روش sl با ترتیب kbo برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران

اسناد مشابه

• توسعه روش SL با ترتیب KBO برای اثبات خودکار پایان‌پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران

  مقاله۲۰۲۱محاسبات نرممحمد کدخدا، سعید جلیلی، محمد ایزدی

  سی ترم

• مدل اجرایی روش برچسب گذاری معنایی برای اثبات خودکار پایان پذیری در سیستم های بازنویسی ترم

  پایان‌نامه۲۰۱۱وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرسمحمد کدخدا

  سیستم بازنویسی ترم (trs) یک مدل محاسباتی است که به دلیل قابلیت های خوبی که دارد در تحلیل زبان های تابعی از آن استفاده می شود. یک سیستم بازنویسی ? رابطه ای روی ترم های منطقی مرتبه اول است، بطوریکه برای هر ?? (l, r) شرایط ، l??? و ??ar(l) ? ??ar(r) برقرار باشد. مجموعه ??ar(t)شامل م