تعریف پذیری زبان های گرافی -منظم در منطق مرتبه دوم تکین
Publish place: The Second National Conference on Applied Research in Computer Science and Information Technology
Publish Year: 1393
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 575
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CITCONF02_109
تاریخ نمایه سازی: 19 اردیبهشت 1395
Abstract:
در این مقاله، ضمن بررسی منطق مرتبه دوم تکین ، به بررسی تعریف پذیری زبان های گرافی - منظم پرداخته ایم. ابتدا منطق مرتبه دوم تکین را به طور مختصر معرفی کرده و سپس اتوماتون گرافی - منظم را معرفی کرده ایم. این توماتون متناهی که زبان های گرافی - منظم را مشخص می کند به منظور پردازش بر روی گراف های بر چسب دار ، طراحی شده است. در ادامه به اثبات تعریف پذیری زمان های گرافی - منظم، در منطق مرتبه دوم تکین پرداخته ایم .
Keywords:
Authors
بابک پوراصغر
کارشناس ارشد علوم کامپیوتر،دانشگاه صنعتی شریف
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :