-
non-linear rewrite closure and weak normalization
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 786
- تعداد پرسش و پاسخ ها: 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).
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
ارزیابی ستون های سنگی مسلح شده با پوشش های ژئوسنتتیک
-
آنالیز اثرات اقتصادی ایمن سازی جاده ها و کاهش تصادفات جاده ای با ارتقا مشخصات هندسی راه در جاده های برون شهری
-
بدشکلی های مادرزادی ستون فقرات و برخی ناهنجاری های همراه
-
adaptive design space as an integrated component of quality by design
-
influence of friction stir welding process and tool parameters on strength properties of aa7075-t6 aluminium alloy joints
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
بررسی تاثیر آموزش درس کار و فناوری برخلاقیت دانش آموزان مقطع متوسطه اول شهرستان دورود
-
تأملی بر چیستی زیر ساختهای کارآفرینی در مدیریت دولتی با رویکردهای نوین در اشتغال
-
بررسی و مدیریت فرهنگ عامه و بررسی باورهای عامیانه مردم اصفهان در خاورمیانه
-
بررسی عوامل موثر بر خستگی کارکنان با رویکرد تکنیک تحلیل سلسله مراتبی فازی
-
نگرشی بر استقلال قوه مقننه در تعامل با نهادهای سیاسی حاکم در جمهوری اسلامی ایران
سوال خود را در مورد این مقاله مطرح نمایید :