منطقی برای توصیف صوری w -خودکارها
محل انتشار: یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
سال انتشار: 1384
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,188
متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI11_099
تاریخ نمایه سازی: 5 آذر 1390
چکیده مقاله:
در توصیف و مدلسازی سیستمهای کامپیوتری روشهای صوری گوناگونی تاکنون ارایه شده اند که هم از دیدگاه قدرت بیان و هم از دیدگاه میزان تناسب برای انجام مراحلی همچون استدلال پیرامون ویژگیهای سیستم اعتبار سنجی درستی یابی یا حتی پالایش متفاوتند از دیدگاه قدرت بیان و تناسب برای درستی یابی دو نظام صوری یعنی منطق های زمانی ونظریه خودکارها برورودی های نامتناهی از قویترین نظام های صوری ارایه شده هستند اثبات شده است که قدرت بیان منطقهای زمانی متناظر با قدرت بیان خودکارهای برورودی های از جنس رشته های نامتناهی است و الگوریتم های تبدیل فرمول های منطق های زمانی به خودکارهای برورودی های نامتناهی ارایه شده اند دراین مقاله به طور معکوس هدف توصیف منطقی خودکارهاست
کلیدواژه ها:
نویسندگان
محمد ایزدی
دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
علی موقررحیم آبادی
دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :