نتایج جستجو

== نمادها == ...

== نمادها == ...تلفی برای نمایش دوشرطی (به جای عبارت «اگر و تنها اگر») به کار می‌روند. این نمادها شامل «الف <math>\leftrightarrow</math> ب»، «الف<math>\iff</math>ب»، «الف <m ...

== نمادها و تعریف مسئله == ...

== نمادها == ...

* <math>\Sigma</math>مجموعهٔ متناهی از نمادها است که الفبای پشته نام دارد. ...left(Q \times \Sigma \times d \right)</math> رابطه‌ای بین حالت‌های ماشین و نمادها است که انتقال نام دارد. ...

== نمادها و یکاها == ...

...یلارد گیبز]] و [[الیور هویساید]] و با تحلیل [[چهارگان‌ها]] شکل گرفت. بیشتر نمادها و واژگان فنی حساب برداری، توسط گیبز و [[ادوین ویلسون]]<!--en:Edwin Bidwell ...

...تکنیکی است، برای ایجاد یک کد پیشوندی (Prefix Code)، بر مبنای مجموعه‌ای از نمادها و احتمالات (تخمین زده شده یا اندازه‌گیری شده). این تکنیک نیمه بهینه است؛ چر ...ت تقسیم می‌شوند. سپس اولین رقم کد همهٔ نمادها به آن‌ها اختصاص داده می‌شود؛ نمادها در مجموعهٔ اول "۰" و در مجموعهٔ دوم "۱" می‌گیرند. تا زمانی که مجموعه‌ای با ...

...ین می‌توان گفت: «هیچ عدد طبیعی وجود ندارد که بین ۰ و ۱ قرار گیرد». به زبان نمادها: ...ن نتیجه گرفت که برای هر عضو دلخواه در دامنه اش صحیح است. این قانون به زبان نمادها به شکل زیر نشان داده می‌شود: ...

...<math>m</math>'' نماد، یک [[گراف جهت دار]] است که روی هم افتادگی توالی‌های نمادها را نشان می‌دهد. این گراف <math>m^n</math> راس دارد و شامل تمام توالی‌های مم ...جهت دار]] خطی از گراف دی بر این ''<math>n-1</math>'' بعدی با همان مجموعه نمادها است. ...

...ه شده‌ای از [[ماشین حالات متناهی|ماشین با حالت متناهی]] است و دو مجموعه از نمادها را به هم می‌نگارد و مترجم و مربوط‌کننده رشته دو نوار تعبیر می‌شود. * <math>\Sigma</math>: مجموعه متناهی که نمادها و الفبای نوار ورودی را مشخص می‌کند. ...

...ی [[فشرده‌سازی بدون اتلاف]] و ساختن یک [[کد پیشوندی]] برمبنای مجموعه‌ای از نمادها و احتمالات آنها (تخمینی ویا اندازه‌گیری شده) می‌باشد. می‌توان گفت این روش غ در کدگذاری شانون، نمادها به ترتیب از پراحتمال‌ترین به کم‌احتمال‌ترین مرتب می‌شوند و با گرفتن اولین < ...

...رسی|سرواژه=عبارت جبری}}</ref> {{به انگلیسی|Expression}} یک ترکیب متناهی از نمادها است که این ترکیب بر اساس قواعد وابسته به بافت، [[فرمول‌های خوش فرم|خوش فرم] ...

...شته‌ای است که قوانین [[دستور زبان صوری|گرامر]]-مانندی را بر روی رشته‌ای از نمادها اعمال می‌کند. الگوریتم مارکوف به عنوان یک [[کامل بودن تورینگ|تورینگ کامل]] ...به‌طور ذاتی الگوریتم‌های عادی در تعدادی از ایده‌های مربوط به اداره اطلاعات نمادها در زبان‌های برنامه‌نویسی استفاده شده‌است. به عنوان مثال در Refal ...

...نمادها در سمت چپ قاعده با رخدادی که در سمت راست ظاهر می‌شود، به رشته‌ای از نمادها اعمال شود. رشته‌ای از کاربردهای قاعده را «اشتقاق» می‌خوانند. چنین گرامری زب ...

...guages.svg|بندانگشتی|300x300پیکسل|فرمول یک زبان رسمی از یک مجموعه خاص رشته نمادها است. قضایای یک تئوری خاص رسمی یک زیر مجموعه از مجموعهٔ فرمول هاست.]] ...مجموعه‌ای ''V'' از متغیرهای گزاره‌ای. الفبای متشکل از حروف ''V'' همراه با نمادها برای [[رابط‌های منطقی|روابط گزاره‌ای]] و پرانتز "(" و ") " که همه آنها در ن ...

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

این نمادها می‌توانند مجموعه‌ای از [[واج]]‌ها باشند (مثل [[الفبای آوانگاری بین‌المللی|I اغلب برای خوانایی لازم است که نمادها را در یک الفبا به یک علامت محدود کنیم تا تفسیر هر رشته بدون ابهام باشند. بر ...

...به صورت یک کامپیوتر ساده تصور می‌شود که با دنبال کردن مجموئه‌ای از قوانین، نمادها را در واحد زمان می‌خواند و بر روی یک نوار بی پایان می‌نویسد؛ و با توجه به و ...\left(Q \times \Sigma \times \{L,R\} \right)</math> ارتباط بین وضعیت‌ها و نمادها که رابطهٔ انتقال نامیده می‌شود. ...

== تعاریف نمادها == ...