آرای
فرهنگ فارسی
آرا
رای ها، اندیشه ها، جمع رای
فرهنگ اسم ها
معنی: زیور بستن، زینت دادن، ( = آراستن )، آرایش کردن، ( در قدیم ) آماده کردن، مهیا کردن، ( در قدیم ) بیان کردن، بر زبان آوردن
دانشنامه عمومی
مجموعه ای از زبان های بازگشتی ( R ) ، زیرمجموعه ای از RE و co - RE می باشد. در حقیقت، ارتباط ان دو کلاس به صورت زیر است:
RE - کامل، مجموعه ای از مشکلات تصمیم گیری است که برای RE کامل است. در یک حالت، اینها، سخت ترین مشکلات قابل شمارش بازگشتی می باشند. تمام این مشکلات، غیربازگشتی هستند. معمولاً، هیچ محدودیتی در کاهش های استفاده شده قرار نمی گیرد مگراینکه آن ها باید کاهش چند به یک باشند. نمونه هایی از مشکلات RE - کامل
• مسئله توقف: ایا یک برنامه با ورودی محدود، اجرا را پایان می بخشد یا برای همیشه ادامه می دهد.
• با قضیه Rice، تصمیم گیری دربارهٔ عضویت در هر زیرمجموعه غیربدیهی از توابع بازگشتی، RE – سخت می باشد. هروقت یک مجموعه، قابل شمارش بازگشتی باشد، کامل می شود.
• جان می هیل اثبات کرده است که تمام مجموعه های خلاق، RE – کامل می باشند.
• مشکل کلمه یکپارچه برای گروه ها و نیمه گروه ها. مشکل عبارت بندی برای برخی از گروه ها، RE – کامل می باشد.
• تصمیم گیری دربارهٔ عضویت در گرامر رسمی نامحدود. گرامرهای معین دارای مشکل عضویت Re - کامل می باشند.
• مشکل اعتبار برای منطق درجه اول.
• مشکل ارتباط بعدی: با تعیین مجموعه متناهی از رشته ها، تعیین کنید که ایا رشته ای وجود دارد که بتواند در ترکیب با رشته به دو روش متفاوت فاکتورگیری شود.
• تعیین کنید که ایا یک معادله Diophantine، راه حل صحیح دارد.
ویکی واژه
(قدیم): زیور، زینت. تو را حاجت به آرایش نباشد/ که خود پا تا به سر آرایی ای زن. «ملکالشعرای بهار»