بررسی مفاهیم سرزندگی و انصاف برای اتومات محدودیت و نتایج آن
محل انتشار: سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران
سال انتشار: 1386
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,601
متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI13_064
تاریخ نمایه سازی: 25 آبان 1386
چکیده مقاله:
در این مقاله مفاهیم انصاف ضعیف و قوی برای مدل اتومات محدودیت ارائه میشوند و مفاهیم اتومات محدودیت ایمن , منصف و سرزنده معرفی میشوند. ثابت میشود یک اتومات محدودیت منصف
همراه با مجموعه اجراهای منصفانه آن, یک اتومات محدودیت سرزنده را تشکیل میدهد. سپس عملیات ضرب اتومات محدودیت منصف و سرزنده تعریف شده و ثابت میشود عملیات ضرب تعریف شده نسبت به اتومات بسته است. و در نهایت سازگاری اتومات محدودیت منصف با ضرب سرزنده نشان داده میشود.
کلیدواژه ها:
نویسندگان
سارا نویدپور
کارشناس ارشد علم کامپیوتر، دانشگاه صنعتی شریف، تهران، ایران
محمد ایزدی
مربی پژوهش و دانشجوی دکترا، دانشگاه صنعتی شریف، تهران، ایران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :