وارسی ویژگی های Liveness در سیستم های بازنویسی عبارات با استفاده از ماشین های درختی متناهی و تحلیل پایان پذیری
Publish place: 16th Iranian Conference on Electric Engineering
Publish Year: 1387
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,235
This Paper With 6 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICEE16_007
تاریخ نمایه سازی: 6 اسفند 1386
Abstract:
در این مقاله، روشی جدید برای وارسی ویژگی های Liveness در سیستم های بازنویسی عبارات معرفی شده است. در روش ارایه شده برای تعریف مجموعه وضعیت های اولیه و مطلوب - که برای توصیف یک ویژگی Liveness نیازمند تعریف آنها هستیم- از ماشینهای درختی متناهی استفاده کرده ایم. با در نظر گرفتن مجموعه وضعیت های اولیه و مطلوب، سیستم بازنویسی اولیه را به یک سیستم بازنویسی جانشین تبدیل خواهیم کرد. این تبدیل به گونه ای است که پایان پذیری سیستم بازنویسی جانشین، برقراری ویژگی Liveness در سیستم را اثبات می کند. پایان پذیری یک سیستم بازنویسی را می توان با استفاده از ابزارهای خودکاری که برای این کار طراحی شده اند بررسی نمود. بدین گونه، روش معرفی شده در این جا در ترکیب با ابزارهای خودکار بررسی پایان پذیری، راهکاری خودکار برای وارسی ویژگی های Liveness در سیستم های بازنویسی عبارات ارایه می نماید.
Keywords:
Authors
موسی موسی زاده
دانشگاه اصفهان، گروه کامپیوتر
بهروز ترک لادانی
دانشگاه اصفهان، گروه کامپیوتر
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :