نتایج جستجو

...مجموعه متناهی از قواعد تولید <math>P</math> مولفه اصلی در تعیین یک [[دستور صوری]] است (مخصوصا [[دستور زایشی]]). مولفه‌های دیگر یک مجموعه متناهی <math>N</ma [[رده:زبان‌های صوری]] ...

...های پراهمیتی را در شاخه‌های مختلف [[علوم نظری کامپیوتر]] هم‌چون [[زبان‌های صوری]]، [[تشخیص الگوها]]<ref>Pattern recognition</ref> و [[تئوری ماشین‌های حالات * با استفاده از عمل [[عمل الحاق (علوم کامپیوتر)|الحاق]]: <math> \{b\} \{b\} = \{bb\}\!</math> منتظم است ...

...ارقام]] یا {{کد|[[نویسه (رایانه)|char]]}}) '''نمادهای''' آن الفبا (یا حروف صوری آن) هستند.<ref name=":0">{{یادکرد کتاب|عنوان=Introduction to the Theory of ...فبا با این تعریف در طیف وسیعی از زمینه‌ها از جمله [[منطق]]، [[ریاضیات]]، [[علوم کامپیوتر]] و [[زبان‌شناسی]] استفاده می‌شود. [[کدبندی نویسه|کدگذاری نویسه‌ها ...

در [[منطق ریاضی]] و [[علوم کامپیوتر]]، '''ستارهٔ کلین''' (یا عملگر کلین یا کلین [[کلوژر]]) یک [[عمل یگ ...ی تهی <math>{\displaystyle \varepsilon }</math> و همچنین تحت عمل [[الحاق (علوم رایانه)]] بسته باشد. ...

در [[علوم کامپیوتر]] و نظریه [[زبان صوری]]، یک [[گرامر مستقل از متن]] را در '''فرم نرمال گریباخ''' {{به انگلیسی|Grei [[رده:زبان‌های صوری]] ...

[[رده:علوم صوری]] ...

== زبان فرمالیسم |زبان قراردادی |زبان صوری == در [[منطق]]، [[ریاضیات]]، [[علوم رایانه|علوم کامپیوتر]] و [[زبان‌شناسی]]، '''نظریهٔ زبان‌ها''' به مطالعهٔ زبان‌های قرارد ...

...رشته‌های درگیر در [[زبان صوری|زبان‌های صوری]]، مانند [[منطق ریاضیاتی]] و [[علوم رایانه]]، نمادی است که مشخص کننده محل‌هایی در یک [[عبارت (ریاضیات)|عبارت]] ...}} نیز گاهی برای متغیر مقید به کار می‌رود (بیش‌تر در ریاضیات عمومی و نه در علوم رایانه)، اما استفاده از آن می‌تواند با تعریف [[متغیرهای ساختگی در تحلیل رگر ...

در [[علوم نظری رایانه]]، '''زبان‌های منظم'''، به زیرمجموعه‌ای از [[زبان‌های صوری]] گفته می‌شود. (A\cup B)</math>، [[عمل الحاق (علوم کامپیوتر)|الحاق]] آن‌ها <math> ...

...[[ریاضیات]]، [[آمار]] و [[احتمالات]]، [[علوم کامپیوتر]]، [[علوم وب]]، و [[علوم محاسباتی]] بر عهده دارند. در مقایسه یا مفاهیم ثابت منطق متغیرها به تنهایی ب == صوری‌سازی == ...

...ته مورد نظر است. هم چنین در مقابل <math>\Sigma^*</math> که در نظریه [[زبان صوری]] به مجموعه همه رشته‌های ''متناهی'' از الفبای Σ گفته می‌شود، مجموعه همهٔ رش * '''پیشوند:''' اگر w یک رشته امگا باشد، زبان صوری <math>pref(w)</math> همهٔ پیشوندهای w را در خود دارد و ''پیشوند'' w نامیده ...

[[رده:روش‌های صوری]] [[رده:علوم رایانه در ۱۹۳۷ (میلادی)]] ...

در [[علوم رایانه|علم کامپیوتر]] نظری، '''زبان حساس به متن''' یک [[زبان صوری]] است که می‌تواند توسط یک [[گرامر حساس به متن]] (معادل با [[دستور زبان یکنو این بدین معنی است که هر زبان صوری که می‌تواند توسط این ماشین تعریف شود، یک زبان حساس به متن است، و هر زبان حس ...

[[رده:رشته (علوم رایانه)]] [[رده:زبان‌های صوری]] ...

...]])، استفاده شده است. سلسله‌مراتب چامسکی در اصل امکان درک و بکارگیری مدل [[علوم کامپیوتر]] را فراهم می‌کند. این مدل به برنامه‌نویس‌ها اجازه می‌دهد که اهداف == دستور زبان‌های رسمی (صوری) == ...

در [[زبان صوری|زبان رسمی صوری]] در [[علوم کامپیوتر]] '''بازگشت چپ''' یک نوع بازگشت ویژه است. [[رده:زبان‌های صوری]] ...

'''زبان‌های نمایه‌سازی‌شده''' یک دسته از [[زبان‌های صوری]] می‌باشند که توسط [[آلفرد آهو]]<ref name="aho1968">{{cite journal | last = {{زبان‌ها و دستور زبان‌های صوری}} ...

در [[علوم رایانه|علوم کامپیوتر]]، '''نمادهای پایانی و غیر پایانی''' عناصر واژگانی مورد استفاده در [[رده:زبان‌های صوری]] ...

...زاعی اتوماتا گفته می‌شود. این نظریه بسیار نزدیک به [[زبان صوری|نظریهٔ زبان صوری]] است. به‌طوری‌که اتوماتا اغلب توسط دستهٔ زبان‌های رسمی قابل تشخیص دسته‌بند یک ماشین خودکار قرار است که بر روی تعدادی ورودی از دنباله یا [[رشته (علوم رایانه)|رشته]] در مراحل زمانی گسسته اجرا شود. در هر مرحله از زمان، ماشین یک ...

...satisfiability}} یا '''ارضاپذیری هورن''' با کوته‌نوشت '''HORNSAT در [[منطق صوری]]،''' عبارت است از مسئلهٔ تعیین اینکه آیا مجموعهٔ مفروضی از عبارتهای هورن [ [[رده:منطق در علوم کامپیوتر]] ...