نتایج جستجو
پرش به ناوبری
پرش به جستجو
- {{ادغام به|نظریه اتوماتا در '''نظریهٔ اتوماتا''' {{به انگلیسی|Automata theory}}، جایگشت اتوماتا یا ماشین خالص گروه یک [[ماشین تعیینپذیر حالات متناهی]] هستند به طوری که هر ...۳ کیلوبایت (۷۸ واژه) - ۱۵ فوریهٔ ۲۰۱۹، ساعت ۱۶:۳۶
- در [[نظریه اتوماتا]]، '''ماشین جایگشت''' یا '''ماشین pure-group''' یک [[ماشین تعیینپذیر حالات ...ای به طول زوج به فرم زبان p-منظم هستند:این مجموعه شاید به وسیلهٔ یک جایگشت اتوماتا با دو وضعیت که در هر انتقال هر وضعیت با وضعیت دیگر جایگزین میشود، پذیرفته ...۳ کیلوبایت (۷۵ واژه) - ۱۴ ژوئن ۲۰۱۹، ساعت ۲۲:۳۸
- == نیم اتوماتا == ...math> یا مجموعه ی حالات پذیرش ''A''. به طور متناوب نیم اتوماتون یک [[نظریه اتوماتا|ماشین حالت متناهی]] است که خروجی ندارد و فقط ورودی دارد. ...۵ کیلوبایت (۲۰۲ واژه) - ۶ مهٔ ۲۰۲۴، ساعت ۲۰:۲۶
- ...متغیرها هم به صورت پیوسته تغییر میکنند. این موضوع در [[علوم رایانه]] و [[نظریه کنترل]] مورد بررسی قرار گرفتهاست. ...ها قرار دارد. این سیستم یک [[دماسنج]] دارد که متناظر با یک متغیر پیوسته در اتوماتا است. با تغییر این متغیر ممکن است وضعیت سیستم تغییر کند.<ref name=":0" /> ...۹ کیلوبایت (۱۹۲ واژه) - ۳۰ مارس ۲۰۲۳، ساعت ۰۱:۱۳
- در [[نظریه اتوماتا|نظریهٔ محاسبه]]، یک '''ماشین متناهی متغیر'''، یک [[اتوماتون تعیینناپذیر متناهی|م [[رده:نظریه اتوماتا]] ...۴ کیلوبایت (۱۵۵ واژه) - ۱۴ ژوئن ۲۰۱۹، ساعت ۲۲:۴۴
- در [[نظریه اتوماتا]]، شاخهای از [[علوم کامپیوتر]] نظری، '''اتوماتای نخی''' (به [[زبان انگلیسی ...ر هر لحظه مجموعهای از نخها وجود دارند که یکی از آنها فعال است. حرکات در اتوماتا نیز به این صورت است که نخها ممکن است یک زیرنخ جدید را ایجاد کنند، تمام شون ...۹ کیلوبایت (۴۷۲ واژه) - ۱۵ مارس ۲۰۲۲، ساعت ۱۱:۲۱
- '''ماشین بوخی توسعه یافته''' یک نوع دیگر از ماشین بوخی در نظریه آتوماتا میباشد. تفاوت آن با ماشین بوخی شرایط پذیرش آن میباشد که در اینجا [[رده:اتوماتا (رایانش)]] ...۵ کیلوبایت (۱۶۸ واژه) - ۶ مارس ۲۰۱۷، ساعت ۲۳:۴۴
- در [[نظریه اتوماتا]]، '''ماشین تعیین ناپذیر با [[اپسیلون (حرف)|ε]] حرکت'''<ref>Nondeterministi [[رده:نظریه اتوماتا]] ...۵ کیلوبایت (۲۵۰ واژه) - ۳ ژوئن ۲۰۱۹، ساعت ۰۹:۰۳
- ...یهٔ زبانها''' به مطالعهٔ زبانهای قراردادی و دستهبندی آنها میپردازد. در نظریهٔ زبانها تنها جنبههای [[نحو|نحوی]] زبانها (یعنی الگوهای ساختاری درونی آنه ...رای تعریف دقیق نحو [[ماشین مجازی|ماشین های مجازی]] همچون [[نظریه مجموعهها|نظریهٔ مجموعهها]] استفاده میشود.<ref name=":1">{{یادکرد کتاب|عنوان=An Introduct ...۱۱ کیلوبایت (۳۵۹ واژه) - ۲ ژوئیهٔ ۲۰۲۴، ساعت ۰۷:۰۳
- === یادگیری اتوماتا === === تفسیر نظریه ردهها === ...۸ کیلوبایت (۲۵۴ واژه) - ۲۵ فوریهٔ ۲۰۲۵، ساعت ۰۷:۵۰
- در [[نظریه گراف]]، یک '''گراف دی بروین''' ''<math>n</math>'' بعدی از ''<math>m</math>' گرافهای دی بروین دودویی می توانند به طریقی رسم شود که شبیه اشیاء نظریهٔ سیستمهای دینامیکی باشند، مانند ''مجذوب کننده ی لورنز'': ...۵ کیلوبایت (۲۳۲ واژه) - ۳۱ اوت ۲۰۲۱، ساعت ۱۷:۰۴
- ویژگیهای تصمیمی سؤالهایی است که دربارهٔ یک اتوماتا یا یک زبان میتوانیم بپرسیم. در زیر نمونهای از آنها را مشاهده میکنید. [[رده:نظریه اتوماتا]] ...۶ کیلوبایت (۱۵۸ واژه) - ۲۳ ژوئن ۲۰۲۴، ساعت ۱۱:۱۲
- ...وریکه اتوماتا اغلب توسط دستهٔ زبانهای رسمی قابل تشخیص دستهبندی میشوند. اتوماتا نقش اساسی در [[طراحی کامپایلر]] و تجزیه کردن (parsing) ایفا میکند. زبانها ...گشتی|250px|چپ|مثالی از اتوماتا و مطالعه خصوصیات ریاضی چنین اتوماتونی نظریه اتوماتا است.]] ...۱۷ کیلوبایت (۳۳۵ واژه) - ۱۸ مارس ۲۰۲۵، ساعت ۱۲:۴۹
- ...vol. 141, pp. 1–35, 1969.</ref> علاوه بر این مشاهده شده [[درخت اتومات]] و نظریه ها در [[منطق]] با همدیگر رابطهٔ نزدیکی دارند که اجازه میدهد مسائل تصمیم در [[رده:اتوماتا (رایانش)]] ...۷ کیلوبایت (۲۸۶ واژه) - ۳۱ ژوئیهٔ ۲۰۲۲، ساعت ۰۸:۵۰
- ...در کار Leonid Vaseršteĭn در مورد فرآیندهای مارکوف در توصیف سیستمهای بزرگ اتوماتا<ref>{{Cite journal|vauthors=Vaserstein LN|year=1969|title=Markov processes [[رده:نظریه اندازه]] ...۳ کیلوبایت (۹۵ واژه) - ۸ سپتامبر ۲۰۲۴، ساعت ۰۷:۳۵
- ...را میپذیرد یا رد میکند و برای هر رشته ورودی تنها محاسباتی یکتا از ماشین اتوماتا را تولید میکند. در واقع 'تعیینپذیری' در این ماشینها به یکتایی محاسبات بر ...دن بردارهای انتقال از حالتی به حالت دیگر حرکت میکند. برای مثال، اگر ماشین اتوماتا در حالت ''S''<sub>0</sub> قرار دارد و نماد ورودی نیز ۱ است، به صورت قطعی به ...۱۶ کیلوبایت (۴۰۸ واژه) - ۵ ژانویهٔ ۲۰۲۴، ساعت ۱۶:۵۱
- == نظریه == [[رده:اتوماتا (رایانش)]] ...۹ کیلوبایت (۲۹۶ واژه) - ۸ مارس ۲۰۲۳، ساعت ۱۳:۵۳
- در [[زبان صوری|نظریهٔ زبانهای صوری]]، هر [[مجموعه (ریاضیات)|مجموعهٔ]] ناتهی را '''الفبا''' (الف ...[پذیرنده متناهی معین|DFA]] لازم است الفبایی مشخص کنیم تا رشتههای ورودی آن اتوماتا از آن رشتهها باشند. ...۱۰ کیلوبایت (۴۲۰ واژه) - ۹ اوت ۲۰۲۳، ساعت ۲۱:۴۹
- [[رده:اتوماتا (مکانیک)]] [[رده:نظریه بازگشت]] ...۴ کیلوبایت (۲۹۹ واژه) - ۹ ژوئن ۲۰۱۸، ساعت ۲۰:۱۶
- در [[علوم کامپیوتر]]، به طور خاص در [[نظریه اتوماتا]]، به ماشینی خودکار '''دو طرفه''' میگویند اگر اجازه دهد [[ورودی]] آن دوبار [[رده:نظریه اتوماتا]] ...۸ کیلوبایت (۴۱۵ واژه) - ۷ مارس ۲۰۲۳، ساعت ۱۰:۴۲