در علوم نظری رایانه، نظریهٔ اتوماتا (به انگلیسی: Automata theory) یا نظریهٔ ماشین‌ها عبارت است از بررسی ریاضی ماشین‌های محاسبه‌گر انتزاعی و توانایی‌های...

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

توصیف زبان به عنوان مجموعه‌ای از عملیات بیش از یک الفبا است. این نظریه با نظریهٔ ماشین‌ها مرتبط است؛ به‌طوری‌که به‌طور اتوماتیک برای تولید و تشخیص زبان رسمی...

تمام عمرش، ریشه‌های نظریه ماشین محاسباتی بابیج (۱۸۳۴) را کاوش کرد و در حقیقت نظریه بابیج را دوباره ارائه کرد: آنالیز گندی در مورد ماشین تحلیلی بابیج پنج...

نتیجه هر دوی زندانی‌ها متضرر می‌شوند. نظریه بازی‌های فرگشتی بر پایه «نظریهٔ فرگشت داروین» استوار است. طبق نظریه داروین در یک اکوسیستم جمعیت گونه‌هایی...

ساختمات ماشین‌ها یک تکنیک ریاضی مهم در نظریهٔ آتوماتا یا نظریه ماشین‌ها می‌باشد که برای نشان دادن وجود یک ماشین خودکار با یک ویژگی مطلوب تعیین شده، استفاده...

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

(به انگلیسی: Cybernetics) نام نظریه‌ای است که مناسبات انسان و ماشین، و مناسبات ماشین‌ها با یکدیگر را تبیین می‌کند. این نظریه را نوربرت وینر در سال ۱۹۴۸ مطرح...

است و ممکن است متناهی، شمارا یا حتی ناشمارا باشد. الفبا در نظریه زبان‌ها و نظریه ماشین‌ها مهم هستند. برای تعریف اتوماتاهایی مثل DFA لازم است الفبایی مشخص...

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

بوده‌است. نظریهٔ ارگادیک و مطالعات تبدیلات ارگادیک، در کنار تلاش‌های صورت گرفته برای اثبات فرضیه ارگادیک از فیزیک آماری به وجود آمده‌است. نظریه ارگودیک...

به اهمیت مضاعف عاملیت غیرانسانی (ماشین‌ها، حیوانات، متون یا ترکیبی از آن‌ها) در این نظریه، شبکه مورد نظر این نظریه در واقع ملغمه‌ای از کنشگران متنی،...

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

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

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

یادگیری ماشین (به انگلیسی: Machine learning) یا اِم‌اِل (اختصاری ML)، مطالعهٔ الگوریتم‌ها و مدل‌های آماری مورد استفادهٔ سیستم‌های کامپیوتری است که به‌جای...

ندا به قصد شرکت در تظاهرات میدان آزادی در روز ۳۰ خرداد به سمت تظاهرات با ماشین در حرکت بودند. به گفته پناهی، آقاسلطان فعال سیاسی نبود، ولی نسبت به نتیجه...

تعریف رسمی می‌توانید صفحه نظریه اتوماتا را ببینید. در این مثال یک ماشین ان‌اف‌ای با الفبای دوتایی شرح داده شده‌است. این ماشین تشخیص می‌دهد که آیا یک رشته...

ماشین‌های حالات متناهی (Finite state machines) اختصاراً FSM، به مدل‌هایی مجرد از ماشین‌ها گفته می‌شود که قادرند در مجموعه‌ای متناهی از حالات وجود داشته...

رانندگی در جاده هاست، این ماشین می‌تواند سرعت را با توجه به آن‌ها تنظیم کند. عمر باتری این ماشین هم تقویت شده است. قیمت اولیهٔ این ماشین ۷۹۹۰۰ دلار برآورد شده...

رهبر توانست هموگلوبین گلیکوزیله را کشف کند. فیزیک ایران نیز به ویژه در نظریه ریسمان، قوی است و مقالات بسیاری در این کشور منتشر می‌شوند. اخیراً ایران...

نظریه‌های توطئهٔ (به زعم مخالفان نظریه) فرود بر ماه یا نظریهٔ جعلی‌بودن فرود بر ماه (به انگلیسی: Moon landing conspiracy theories) با اشاره به نکات مبهم...

به نظریه میدان واحد بی‌توجهی کرد. رؤیای او برای رسیدن به نظریه‌ای جامع و یک‌پارچه، انگیزه‌ای برای نظریاتی مانند نظریه همه چیز و به‌صورت ویژه نظریه ریسمان‌ها...

انگلیسی: Artificial intelligence) (مخفف انگلیسی: AI) هوشی است که توسط ماشین‌ها ظهور پیدا می‌کند، در مقابل هوش طبیعی که توسط جانوران شامل انسان‌ها نمایش...

توسط یک ماشین معادل عضویت آن در زبان مذکور است. بنابراین نظریه زبان‌ها بسیار با نظریهٔ ماشین‌ها مرتبط است و همچنین یک حوزه کاربردی اصلی در نظریه رایانش‌پذیری...

متعددی به شاخه‌های مختلف ریاضیات چون جبر، آنالیز، هندسه دیفرانسیل، نظریه ماتریس، نظریه اعداد و آمار کرد. در اوایل سده بیستم میلادی، کورت گودل، ریاضیات را...

"اولین فرمول نظریه ماشینهای محاسبه تورینگ در مدل‌های مشابه کامپیوتر در نظریه "وانگ" ظاهر شده‌است. مینسکی ماشین محاسبه تورینگ را به نوعی معادل ماشین‌های ابتدایی...

آسمانی» را کمی پیش از مرگ منتشر کرد. در این کتاب، او با رد کردن نظریه زمین-مرکزی، به اثبات نظریه خورشید-مرکزی پرداخت. چندی پس از ممنوع شدن این کتاب در سال ۱۶۱۴...

چنین تبدیلی شناخته شده‌است. این تبدیل در بسیاری از کتاب‌های درسی در نظریه ماشین‌ها، مانند Hopcroft و Ullman، ۱۹۷۹ توصیف شده‌است. همان‌طور که توسط "Lange...

طراحی VLSI مهندسی نرم‌افزار روش‌های صوری نظریه محاسبات نظریه پیچیدگی محاسباتی نظریه محاسبه‌پذیری نظریه ماشین‌ها نظریه هم‌روندی هندسه محاسباتی هوش مصنوعی رباتیک...

در نظریه ماشین‌ها ، ماشین محدود نامتناهی (UFA) یک نوع به خصوص از ماشین غیرقطعی محدود(NFA) میباشد. هر ماشین محدود قطعی ( DFA ) یک UFA هست اما برعکسش صادق...