بررسی مفاهیم سرزندگی و انصاف برای اتومات محدودیت و نتایج آن
Publish place: 13th Annual Conference of Computer Society of Iran
Publish Year: 1386
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,608
متن کامل این Paper منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل Paper (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI13_064
تاریخ نمایه سازی: 25 آبان 1386
Abstract:
در این مقاله مفاهیم انصاف ضعیف و قوی برای مدل اتومات محدودیت ارائه میشوند و مفاهیم اتومات محدودیت ایمن , منصف و سرزنده معرفی میشوند. ثابت میشود یک اتومات محدودیت منصف
همراه با مجموعه اجراهای منصفانه آن, یک اتومات محدودیت سرزنده را تشکیل میدهد. سپس عملیات ضرب اتومات محدودیت منصف و سرزنده تعریف شده و ثابت میشود عملیات ضرب تعریف شده نسبت به اتومات بسته است. و در نهایت سازگاری اتومات محدودیت منصف با ضرب سرزنده نشان داده میشود.
Keywords:
Authors
سارا نویدپور
کارشناس ارشد علم کامپیوتر، دانشگاه صنعتی شریف، تهران، ایران
محمد ایزدی
مربی پژوهش و دانشجوی دکترا، دانشگاه صنعتی شریف، تهران، ایران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :