-
emptiness and finiteness for tree automata with global reflexive disequality constraints
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 758
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
in recent years, several extensions of tree automata have been considered. most of them are related with the capability of testing equality or disequality of certain subterms of the term evaluated by the automaton. in particular, tree automata with global constraints are able to test equality and disequality of subterms depending on the state to which they are evaluated. the emptiness problem is known decidable for this kind of automata, but with a non-elementary time complexity, and the finiteness problem remains unknown. in this paper, we consider the particular case of tree automata with global constraints when the constraint is a conjunction of disequalities between states, and the disequality predicate is forced to be reflexive. this restriction is significant in the context of xml definitions with monadic key constraints. we prove that emptiness and finiteness are decidable in triple exponential time for this kind of automata.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
تاثیر خاک رس بر رفتار مواد زاید شهری
-
طراحی و ارائه مدل مفهومی توسعه یادگیری سازمانی با بهره گیری از سرمایه اجتماعی
-
بررسی نقش محوطه های بازی در رشد و خلاقیت کودکان
-
معرفی مولفه های معماری بومی بافت سنتی یزد
-
نقش گیاهان دارویی در توسعه روستاهای کشور ایران
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
بررسی نوگرایی نقاشی در ایران معاصر
-
بررسی تأثیر تعهد مدیریت به بازاریابی داخلی بر نگرش کاری کارکنان با نقش واسطه ای ارتباطات داخلی رسمی و غیررسمی (مورد مطالعه: بانک صنعت و معدن)
-
بهبود قابلیت اطمینان نقاط بار مشترکین براساس مدل احتمالاتی برای سیستم حفاظتی میکروشبکه مبتنی بر الگوریتم هوشمند هایبرید خفاش و نلدرمید
-
تدوین استانداردهای حسابداری با رویکرد مدل کسب و کار: وضعیت موجود و افق پیش رو
-
طراحی مدل فرا ابتکاری هوش مصنوعی – ژنتیک تابع بقا ریسک اعتباری بانک رفاه (مطالعه موردی: شعب غرب شهر تهران)
سوال خود را در مورد این مقاله مطرح نمایید :