-
non-linear rewrite closure and weak normalization
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 715
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
a rewrite closure is an extension of a term rewrite system with new rules, usually deduced by transitivity. rewrite closures have the nice property that all rewrite derivations can be transformed into derivations of a simple form. this property has been useful for proving decidability results in term rewriting. unfortunately, when the term rewrite system is not linear, the construction of a rewrite closure is quite challenging. in this paper, we construct a rewrite closure for term rewrite systems that satisfy two properties: the right-hand side term in each rewrite rule contains no repeated variable (right-linear) and contains no variable occurring at depth greater than one (right-shallow). the left-hand side term is unrestricted, and in particular, it may be non-linear. as a consequence of the rewrite closure construction, we are able to prove decidability of the weak normalization problem for right-linear right-shallow term rewrite systems. proving this result also requires tree automata theory. we use the fact that right-shallow right-linear term rewrite systems are regularity preserving. moreover, their set of normal forms can be represented with a tree automaton with disequality constraints, and emptiness of this kind of automata, as well as its generalization to reduction automata, is decidable. a preliminary version of this work was presented at lics 2009 (creus 2009).
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
تامین مالی و جذب سرمایه پروژه های مادر کشور در شرایط تحریم (با نگاهی ویژه به صنایع نفتی)
-
مقایسه بوژیناژ پیلور به وسیله انگشت با پیلورومیوتومی یا پیلوروپلاستی در اعمال جراحی جایگزین معده به دنبال ازوفاژکتومی
-
توسعه ناپایدار و عوامل موثر
-
اتصالات پیچی مقاطع سازه های فولادی سرد نورد شده و مطالعه اتصالات اتکایی و اصطکاکی آن ها تحت بارگیری چرخه ای
-
مقایسه میزان سرسختی روان شناختی در آتش نشانان فعال و غیر فعال ورزشی شهرستان نیشابور
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
بررسی تاثیر فشارهای اجتماعی، تعهد و ویژگی های شخصیتی بر قضاوت حسابرسان
-
بررسی قاچاق اعضای بدن انسان در نظام حقوقی ایران و اسناد بین المللی
-
بررسی رابطه بین واقعیت درمانی گروهی بر میزان تغییر راهبردهای مقابله ای در زنان دارای فرزند معلول
-
بررسی رابطه بین دوره زمانی تشکیل کمیته حسابرسی و حسابرسی داخلی با خطای پیش بینی جریان های نقدی آتی با در نظر گرفتن ریسک پذیری شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
رویکرد قانون مجازات اسلامی نسبت به پیشگیری از جرم در جرائم اطفال و نوجوانان
سوال خود را در مورد این مقاله مطرح نمایید :