-
learning register automata: from languages to program structures
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 1183
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
this paper reviews the development of register automaton learning, an enhancement of active automata learning to deal with infinite-state systems. we will revisit the precursor techniques and influences, which in total span over more than a decade. a large share of this development was guided and motivated by the increasingly popular application of grammatical inference techniques in the field of software engineering. we specifically focus on a key problem to achieve practicality in this field: the adequate treatment of data values ranging over infinite domains, a major source of undecidability. starting with the first case studies, in which data was completely abstracted away, we revisit different steps towards dealing with data explicitly at a model level: we discuss mealy machines as a model for systems with (data) output, automated alphabet abstraction refinement techniques as a two-dimensional extension of the partition-refinement based approach of active automata learning to also inferring optimal alphabet abstractions, and register mealy machines, which can be regarded as programs restricted to data-independent data processing as it is typical for protocols or interface programs. we are convinced that this development will significantly contribute to paving the road for active automata learning to become a technology of high practical importance.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
بررسی تاثیر آرماتور طولی و عرضی بر رفتار ستون های بتن آرمه تحت بارگذاری انفجاری
-
بررسی آثار ابعاد معماری سازمانی بر فرهنگ سازمانی کتابداران کتابخانه های دانشگاهی (رازی و علوم پزشکی کرمانشاه)
-
بررسی رفتار لرزه ای و ضریب رفتار گنبدهای دو لایه فضاکار
-
بررسی ارتباط بین سلامت مالی و فرصت های سرمایه گذاری در شرکتهای پذیرفته شده در بورس اوراق بهادار تهران
-
بهینه یابی شکل سدهای بتنی دو قوسی براساس تحلیل دینامیکی با در نظر گرفتن اندرکنش سد و مخزن با استفاده از الگوریتم ژنتیک
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
ارزیابی تاثیر کارکردهای اطلاع رسانی، آموزشی و همبستگی فضای مجازی بر ترویج فرهنگ محیط زیستی مطالعه موردی: سازمان های مردم نهاد فعال در حوزه محیط زیست
-
سنجش کارائی فعلی و راهکار ارتقاء کارآمدی آتی مرحله امکان سنجی در پروژه های ساختمانی
-
مدیریت در علوم ورزشی و تربیتی، لازمه تحقق جهش تولید
-
estimation of origin – destination matrix from traffic counts based on fuzzy logic
-
designing manhole in water transmission lines using flow3d numerical model
سوال خود را در مورد این مقاله مطرح نمایید :