عدد صحیح ابهام

در علوم رایانه، الگوریتم روشی یا متدولوژی برای رسیدن به حل مسئله با تعداد محدودی از مراحل است. هر مرحله باید دقیقاً تعریف شود تا بتوان آن را به روشی واضح برای هر برنامه اجرا کرد. به عنوان مثال، الگوریتم اقلیدس یک الگوریتم است که مشکل یافتن بزرگ‌ترین مقسوم‌علیه مشترک دو عدد صحیح را حل می‌کند. این بر اساس مراحل ساده‌ای مانند مقایسه دو عدد و تفریق یکی از دیگری است.

توالی (s(n یک توالی k-منظم است اگر عدد صحیحی مانند E وجود داشته باشد، که به ازای جمیع مقادیر ej> E and 0 ≤ rj ≤ kej − ۱, بتوان هر زیرتوالی از s به فرم (s(kejn + rj را به عنوان یک ترکیب خطی از 'R به شکل

یک عدد صحیح است (در واقع بدیهی به نظر می‌رسد که

فرایند تجدید، تعمیم یافتهٔ فرایند پواسون است. فرایند پواسون ذاتاً یک فرایند پیوسته مارکوف می‌باشد که توزیع مستقل یکسان از زمان‌های نگهداری شده از هر عدد صحیح

عدد طبیعیِ ناصفر تشکیل شده‌است. سپس دو عدد صحیح تصادفیِ

برای تعریف زبان‌های پشته‌ای عیان طبیعی است که ابتدا بایستی رابطه تناظر را تعریف نماییم. طبق روال معمول، برای هر عدد صحیح نامنفی همانند