CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-disabled vector-feature-custom-font-size-clientpref--excluded vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-not-available" lang="fa" dir="rtl"> <head> <meta charset="UTF-8"> <title>رده:زبان‌های صوری - ویکی‌پدیا، دانشنامهٔ آزاد</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-disabled vector-feature-custom-font-size-clientpref--excluded vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-not-available";var cookie=document.cookie.match(/(?:^|; )fawikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[".\t,","٫\t٬"],"wgDigitTransformTable":[ "0\t1\t2\t3\t4\t5\t6\t7\t8\t9\t%","۰\t۱\t۲\t۳\t۴\t۵\t۶\t۷\t۸\t۹\t٪"],"wgDefaultDateFormat":"dmy","wgMonthNames":["","ژانویه","فوریه","مارس","آوریل","مه","ژوئن","ژوئیه","اوت","سپتامبر","اکتبر","نوامبر","دسامبر"],"wgRequestId":"32275689-3256-4958-931e-239075e7b436","wgCanonicalNamespace":"Category","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":14,"wgPageName":"رده:زبان‌های_صوری","wgTitle":"زبان‌های صوری","wgCurRevisionId":18823696,"wgRevisionId":18823696,"wgArticleId":302218,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["فرامنطق","زبان‌های فراساخته","علوم صوری","دستور زبان","روش‌های صوری","علوم نظری رایانه"],"wgPageViewLanguage":"fa","wgPageContentLanguage":"fa","wgPageContentModel":"wikitext","wgRelevantPageName":"رده:زبان‌های_صوری", "wgRelevantArticleId":302218,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgFlaggedRevsParams":{"tags":{"status":{"levels":1}}},"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"fa","pageLanguageDir":"rtl","pageVariantFallbacks":"fa"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":200,"wgRelatedArticlesCompat":[],"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q7142640","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"], "GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":true,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","mediawiki.action.styles":"ready","ext.categoryTree.styles":"ready","mediawiki.helplink":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","ext.tmh.player.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.categoryTree","site","mediawiki.page.ready","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.Edittools","ext.gadget.EasyNewSection","ext.gadget.signit","ext.gadget.decodesummary", "ext.gadget.Watchlist","ext.gadget.switcher","ext.gadget.refToolbar","ext.tmh.player","ext.urlShortener.toolbar","ext.centralauth.centralautologin","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","wikibase.client.vector-2022","ext.checkUser.clientHints"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=fa&modules=ext.categoryTree.styles%7Cext.tmh.player.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cmediawiki.action.styles%7Cmediawiki.helplink%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=fa&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=fa&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.6"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="رده:زبان‌های صوری - ویکی‌پدیا، دانشنامهٔ آزاد"> <meta property="og:type" content="website"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//fa.m.wikipedia.org/wiki/%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C"> <link rel="alternate" type="application/x-wiki" title="ویرایش" href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="ویکی‌پدیا (fa)"> <link rel="EditURI" type="application/rsd+xml" href="//fa.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://fa.wikipedia.org/wiki/%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fa"> <link rel="alternate" type="application/atom+xml" title="خوراک اتم برای ویکی‌پدیا" href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:%D8%AA%D8%BA%DB%8C%DB%8C%D8%B1%D8%A7%D8%AA_%D8%A7%D8%AE%DB%8C%D8%B1&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki rtl sitedir-rtl mw-hide-empty-elt ns-14 ns-subject mw-editable page-رده_زبان‌های_صوری rootpage-رده_زبان‌های_صوری skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">پرش به محتوا</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="وبگاه"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="منوی اصلی" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">منوی اصلی</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">منوی اصلی</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">انتقال به نوار کناری</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">نهفتن</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> بازدید محتوا </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage" class="mw-list-item"><a href="/wiki/%D8%B5%D9%81%D8%AD%D9%87%D9%94_%D8%A7%D8%B5%D9%84%DB%8C" title="مشاهدهٔ صفحهٔ اصلی [z]" accesskey="z"><span>صفحهٔ اصلی</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/%D8%AF%D8%B1%DA%AF%D8%A7%D9%87:%D8%B1%D9%88%DB%8C%D8%AF%D8%A7%D8%AF%D9%87%D8%A7%DB%8C_%DA%A9%D9%86%D9%88%D9%86%DB%8C" title="یافتن اطلاعات پس‌زمینه پیرامون رویدادهای کنونی"><span>رویدادهای کنونی</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%B5%D9%81%D8%AD%D9%87%D9%94_%D8%AA%D8%B5%D8%A7%D8%AF%D9%81%DB%8C" title="آوردن یک صفحهٔ تصادفی [x]" accesskey="x"><span>مقالهٔ تصادفی</span></a></li> </ul> </div> </div> <div id="p-collaboration" class="vector-menu mw-portlet mw-portlet-collaboration" > <div class="vector-menu-heading"> همکاری </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-recentchanges" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%AA%D8%BA%DB%8C%DB%8C%D8%B1%D8%A7%D8%AA_%D8%A7%D8%AE%DB%8C%D8%B1" title="فهرستی از تغییرات اخیر ویکی [r]" accesskey="r"><span>تغییرات اخیر</span></a></li><li id="n-cooperateing" class="mw-list-item"><a href="/wiki/%D8%B1%D8%A7%D9%87%D9%86%D9%85%D8%A7:%D9%87%D9%85%DA%A9%D8%A7%D8%B1%DB%8C"><span>ویکی‌نویس شوید!</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/%D8%B1%D8%A7%D9%87%D9%86%D9%85%D8%A7:%D9%81%D9%87%D8%B1%D8%B3%D8%AA" title="مکانی برای دریافتن"><span>راهنما</span></a></li><li id="n-contact" class="mw-list-item"><a href="//fa.wikipedia.org/wiki/%D9%88%DB%8C%DA%A9%DB%8C%E2%80%8C%D9%BE%D8%AF%DB%8C%D8%A7:%D8%AA%D9%85%D8%A7%D8%B3_%D8%A8%D8%A7_%D9%85%D8%A7"><span>تماس با ویکی‌پدیا</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/%D8%B5%D9%81%D8%AD%D9%87%D9%94_%D8%A7%D8%B5%D9%84%DB%8C" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="ویکی‌پدیا" src="/static/images/mobile/copyright/wikipedia-wordmark-fa.svg" style="width: 6em; height: 2em;"> <img class="mw-logo-tagline" alt="دانشنامهٔ آزاد" src="/static/images/mobile/copyright/wikipedia-tagline-fa.svg" width="72" height="18" style="width: 4.5em; height: 1.125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%AC%D8%B3%D8%AA%D8%AC%D9%88" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="جستجو در ویکی‌پدیا [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>جستجو</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="جستجو در ویکی‌پدیا" aria-label="جستجو در ویکی‌پدیا" autocapitalize="sentences" title="جستجو در ویکی‌پدیا [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="ویژه:جستجو"> </div> <button class="cdx-button cdx-search-input__end-button">جستجو</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="ابزارهای شخصی"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="ظاهر"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="تغییر ظاهر اندازهٔ قلم، عرض و رنگ صفحه" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="ظاهر" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">ظاهر</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=fa.wikipedia.org&uselang=fa" class=""><span>کمک مالی</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:%D8%A7%DB%8C%D8%AC%D8%A7%D8%AF_%D8%AD%D8%B3%D8%A7%D8%A8_%DA%A9%D8%A7%D8%B1%D8%A8%D8%B1%DB%8C&returnto=%D8%B1%D8%AF%D9%87%3A%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C+%D8%B5%D9%88%D8%B1%DB%8C" title="از شما دعوت می‌شود که یک حساب ایجاد کنید و وارد شوید؛ هرچند که این کار اختیاری است." class=""><span>ایجاد حساب</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:%D9%88%D8%B1%D9%88%D8%AF_%D8%A8%D9%87_%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87&returnto=%D8%B1%D8%AF%D9%87%3A%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C+%D8%B5%D9%88%D8%B1%DB%8C" title="توصیه می‌شود که به سامانه وارد شوید، گرچه اجباری نیست [o]" accesskey="o" class=""><span>ورود</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="گزینه‌های بیشتر" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="ابزارهای شخصی" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">ابزارهای شخصی</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="منوی کاربری" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="https://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=fa.wikipedia.org&uselang=fa"><span>کمک مالی</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:%D8%A7%DB%8C%D8%AC%D8%A7%D8%AF_%D8%AD%D8%B3%D8%A7%D8%A8_%DA%A9%D8%A7%D8%B1%D8%A8%D8%B1%DB%8C&returnto=%D8%B1%D8%AF%D9%87%3A%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C+%D8%B5%D9%88%D8%B1%DB%8C" title="از شما دعوت می‌شود که یک حساب ایجاد کنید و وارد شوید؛ هرچند که این کار اختیاری است."><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>ایجاد حساب</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:%D9%88%D8%B1%D9%88%D8%AF_%D8%A8%D9%87_%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87&returnto=%D8%B1%D8%AF%D9%87%3A%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C+%D8%B5%D9%88%D8%B1%DB%8C" title="توصیه می‌شود که به سامانه وارد شوید، گرچه اجباری نیست [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>ورود</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> صفحه‌هایی برای ویرایشگرانی که از سامانه خارج شدند <a href="/wiki/%D8%B1%D8%A7%D9%87%D9%86%D9%85%D8%A7:%D9%85%D9%82%D8%AF%D9%85%D9%87" aria-label="دربارهٔ ویرایش‌کردن بیشتر بدانید"><span>بیشتر بدانید</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D9%85%D8%B4%D8%A7%D8%B1%DA%A9%D8%AA%E2%80%8C%D9%87%D8%A7%DB%8C_%D9%85%D9%86" title="فهرست ویرایش‌ها انجام شده از این نشانی آی‌پی [y]" accesskey="y"><span>مشارکت‌ها</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%A8%D8%AD%D8%AB_%D9%85%D9%86" title="بحث پیرامون ویرایش‌های این نشانی آی‌پی [n]" accesskey="n"><span>بحث</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="وبگاه"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-namespace">رده</span><span class="mw-page-title-separator">:</span><span class="mw-page-title-main">زبان‌های صوری</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="به مقاله‌ای به یک زبان دیگر بروید. به ۴۸ زبان در دسترس است." > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-48" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">۴۸ زبان</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D9%84%D8%BA%D8%A7%D8%AA_%D8%B4%D9%83%D9%84%D9%8A%D8%A9" title="تصنيف:لغات شكلية–عربی" lang="ar" hreflang="ar" data-title="تصنيف:لغات شكلية" data-language-autonym="العربية" data-language-local-name="عربی" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-az mw-list-item"><a href="https://az.wikipedia.org/wiki/Kateqoriya:Formal_dill%C9%99r_n%C9%99z%C9%99riyy%C9%99si" title="Kateqoriya:Formal dillər nəzəriyyəsi–ترکی آذربایجانی" lang="az" hreflang="az" data-title="Kateqoriya:Formal dillər nəzəriyyəsi" data-language-autonym="Azərbaycanca" data-language-local-name="ترکی آذربایجانی" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-be-x-old mw-list-item"><a href="https://be-tarask.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D1%8D%D0%B3%D0%BE%D1%80%D1%8B%D1%8F:%D0%A4%D0%B0%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D1%8F_%D0%BC%D0%BE%D0%B2%D1%8B" title="Катэгорыя:Фармальныя мовы–بلاروسی (دستورخط کلاسیک)" lang="be-tarask" hreflang="be-tarask" data-title="Катэгорыя:Фармальныя мовы" data-language-autonym="Беларуская (тарашкевіца)" data-language-local-name="بلاروسی (دستورخط کلاسیک)" class="interlanguage-link-target"><span>Беларуская (тарашкевіца)</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D0%B8_%D0%B5%D0%B7%D0%B8%D1%86%D0%B8" title="Категория:Формални езици–بلغاری" lang="bg" hreflang="bg" data-title="Категория:Формални езици" data-language-autonym="Български" data-language-local-name="بلغاری" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-bn mw-list-item"><a href="https://bn.wikipedia.org/wiki/%E0%A6%AC%E0%A6%BF%E0%A6%B7%E0%A6%AF%E0%A6%BC%E0%A6%B6%E0%A7%8D%E0%A6%B0%E0%A7%87%E0%A6%A3%E0%A7%80:%E0%A6%B0%E0%A7%8C%E0%A6%AA_%E0%A6%AD%E0%A6%BE%E0%A6%B7%E0%A6%BE" title="বিষয়শ্রেণী:রৌপ ভাষা–بنگالی" lang="bn" hreflang="bn" data-title="বিষয়শ্রেণী:রৌপ ভাষা" data-language-autonym="বাংলা" data-language-local-name="بنگالی" class="interlanguage-link-target"><span>বাংলা</span></a></li><li class="interlanguage-link interwiki-bs mw-list-item"><a href="https://bs.wikipedia.org/wiki/Kategorija:Formalni_jezici" title="Kategorija:Formalni jezici–بوسنیایی" lang="bs" hreflang="bs" data-title="Kategorija:Formalni jezici" data-language-autonym="Bosanski" data-language-local-name="بوسنیایی" class="interlanguage-link-target"><span>Bosanski</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Categoria:Llenguatges_formals" title="Categoria:Llenguatges formals–کاتالان" lang="ca" hreflang="ca" data-title="Categoria:Llenguatges formals" data-language-autonym="Català" data-language-local-name="کاتالان" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Kategorie:Form%C3%A1ln%C3%AD_jazyky" title="Kategorie:Formální jazyky–چکی" lang="cs" hreflang="cs" data-title="Kategorie:Formální jazyky" data-language-autonym="Čeština" data-language-local-name="چکی" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-cv mw-list-item"><a href="https://cv.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BB%C4%95_%D1%87%C4%95%D0%BB%D1%85%D0%B5%D1%81%D0%B5%D0%BD_%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D0%B9%C4%95" title="Категори:Формаллĕ чĕлхесен теорийĕ–چوواشی" lang="cv" hreflang="cv" data-title="Категори:Формаллĕ чĕлхесен теорийĕ" data-language-autonym="Чӑвашла" data-language-local-name="چوواشی" class="interlanguage-link-target"><span>Чӑвашла</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Kategorie:Theorie_formaler_Sprachen" title="Kategorie:Theorie formaler Sprachen–آلمانی" lang="de" hreflang="de" data-title="Kategorie:Theorie formaler Sprachen" data-language-autonym="Deutsch" data-language-local-name="آلمانی" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/%CE%9A%CE%B1%CF%84%CE%B7%CE%B3%CE%BF%CF%81%CE%AF%CE%B1:%CE%A4%CF%85%CF%80%CE%B9%CE%BA%CE%AD%CF%82_%CE%B3%CE%BB%CF%8E%CF%83%CF%83%CE%B5%CF%82" title="Κατηγορία:Τυπικές γλώσσες–یونانی" lang="el" hreflang="el" data-title="Κατηγορία:Τυπικές γλώσσες" data-language-autonym="Ελληνικά" data-language-local-name="یونانی" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Category:Formal_languages" title="Category:Formal languages–انگلیسی" lang="en" hreflang="en" data-title="Category:Formal languages" data-language-autonym="English" data-language-local-name="انگلیسی" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Kategorio:Formalaj_lingvoj" title="Kategorio:Formalaj lingvoj–اسپرانتو" lang="eo" hreflang="eo" data-title="Kategorio:Formalaj lingvoj" data-language-autonym="Esperanto" data-language-local-name="اسپرانتو" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Categor%C3%ADa:Lenguajes_formales" title="Categoría:Lenguajes formales–اسپانیایی" lang="es" hreflang="es" data-title="Categoría:Lenguajes formales" data-language-autonym="Español" data-language-local-name="اسپانیایی" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Luokka:Formaalit_kielet" title="Luokka:Formaalit kielet–فنلاندی" lang="fi" hreflang="fi" data-title="Luokka:Formaalit kielet" data-language-autonym="Suomi" data-language-local-name="فنلاندی" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Cat%C3%A9gorie:Langage_formel" title="Catégorie:Langage formel–فرانسوی" lang="fr" hreflang="fr" data-title="Catégorie:Langage formel" data-language-autonym="Français" data-language-local-name="فرانسوی" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%A7%D7%98%D7%92%D7%95%D7%A8%D7%99%D7%94:%D7%A9%D7%A4%D7%95%D7%AA_%D7%A4%D7%95%D7%A8%D7%9E%D7%9C%D7%99%D7%95%D7%AA" title="קטגוריה:שפות פורמליות–عبری" lang="he" hreflang="he" data-title="קטגוריה:שפות פורמליות" data-language-autonym="עברית" data-language-local-name="عبری" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-hi mw-list-item"><a href="https://hi.wikipedia.org/wiki/%E0%A4%B6%E0%A5%8D%E0%A4%B0%E0%A5%87%E0%A4%A3%E0%A5%80:%E0%A4%94%E0%A4%AA%E0%A4%9A%E0%A4%BE%E0%A4%B0%E0%A4%BF%E0%A4%95_%E0%A4%AD%E0%A4%BE%E0%A4%B7%E0%A4%BE%E0%A4%8F%E0%A4%81" title="श्रेणी:औपचारिक भाषाएँ–هندی" lang="hi" hreflang="hi" data-title="श्रेणी:औपचारिक भाषाएँ" data-language-autonym="हिन्दी" data-language-local-name="هندی" class="interlanguage-link-target"><span>हिन्दी</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Kategorija:Formalni_jezici" title="Kategorija:Formalni jezici–کروات" lang="hr" hreflang="hr" data-title="Kategorija:Formalni jezici" data-language-autonym="Hrvatski" data-language-local-name="کروات" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-hu mw-list-item"><a href="https://hu.wikipedia.org/wiki/Kateg%C3%B3ria:Form%C3%A1lis_nyelvek" title="Kategória:Formális nyelvek–مجاری" lang="hu" hreflang="hu" data-title="Kategória:Formális nyelvek" data-language-autonym="Magyar" data-language-local-name="مجاری" class="interlanguage-link-target"><span>Magyar</span></a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D4%BF%D5%A1%D5%BF%D5%A5%D5%A3%D5%B8%D6%80%D5%AB%D5%A1:%D5%96%D5%B8%D6%80%D5%B4%D5%A1%D5%AC_%D5%AC%D5%A5%D5%A6%D5%B8%D6%82%D5%B6%D5%A5%D6%80" title="Կատեգորիա:Ֆորմալ լեզուներ–ارمنی" lang="hy" hreflang="hy" data-title="Կատեգորիա:Ֆորմալ լեզուներ" data-language-autonym="Հայերեն" data-language-local-name="ارمنی" class="interlanguage-link-target"><span>Հայերեն</span></a></li><li class="interlanguage-link interwiki-is mw-list-item"><a href="https://is.wikipedia.org/wiki/Flokkur:Formlegt_m%C3%A1l" title="Flokkur:Formlegt mál–ایسلندی" lang="is" hreflang="is" data-title="Flokkur:Formlegt mál" data-language-autonym="Íslenska" data-language-local-name="ایسلندی" class="interlanguage-link-target"><span>Íslenska</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Categoria:Teoria_dei_linguaggi_formali" title="Categoria:Teoria dei linguaggi formali–ایتالیایی" lang="it" hreflang="it" data-title="Categoria:Teoria dei linguaggi formali" data-language-autonym="Italiano" data-language-local-name="ایتالیایی" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/Category:%E5%BD%A2%E5%BC%8F%E8%A8%80%E8%AA%9E" title="Category:形式言語–ژاپنی" lang="ja" hreflang="ja" data-title="Category:形式言語" data-language-autonym="日本語" data-language-local-name="ژاپنی" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-ka mw-list-item"><a href="https://ka.wikipedia.org/wiki/%E1%83%99%E1%83%90%E1%83%A2%E1%83%94%E1%83%92%E1%83%9D%E1%83%A0%E1%83%98%E1%83%90:%E1%83%A4%E1%83%9D%E1%83%A0%E1%83%9B%E1%83%90%E1%83%9A%E1%83%A3%E1%83%A0%E1%83%98_%E1%83%94%E1%83%9C%E1%83%94%E1%83%91%E1%83%98" title="კატეგორია:ფორმალური ენები–گرجی" lang="ka" hreflang="ka" data-title="კატეგორია:ფორმალური ენები" data-language-autonym="ქართული" data-language-local-name="گرجی" class="interlanguage-link-target"><span>ქართული</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EB%B6%84%EB%A5%98:%ED%98%95%EC%8B%9D_%EC%96%B8%EC%96%B4" title="분류:형식 언어–کره‌ای" lang="ko" hreflang="ko" data-title="분류:형식 언어" data-language-autonym="한국어" data-language-local-name="کره‌ای" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-lb mw-list-item"><a href="https://lb.wikipedia.org/wiki/Kategorie:Formal_Sproochen" title="Kategorie:Formal Sproochen–لوگزامبورگی" lang="lb" hreflang="lb" data-title="Kategorie:Formal Sproochen" data-language-autonym="Lëtzebuergesch" data-language-local-name="لوگزامبورگی" class="interlanguage-link-target"><span>Lëtzebuergesch</span></a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%98%D0%B0:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D0%B8_%D1%98%D0%B0%D0%B7%D0%B8%D1%86%D0%B8" title="Категорија:Формални јазици–مقدونی" lang="mk" hreflang="mk" data-title="Категорија:Формални јазици" data-language-autonym="Македонски" data-language-local-name="مقدونی" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-ml mw-list-item"><a href="https://ml.wikipedia.org/wiki/%E0%B4%B5%E0%B5%BC%E0%B4%97%E0%B5%8D%E0%B4%97%E0%B4%82:%E0%B4%94%E0%B4%AA%E0%B4%9A%E0%B4%BE%E0%B4%B0%E0%B4%BF%E0%B4%95_%E0%B4%AD%E0%B4%BE%E0%B4%B7%E0%B4%95%E0%B5%BE" title="വർഗ്ഗം:ഔപചാരിക ഭാഷകൾ–مالایالامی" lang="ml" hreflang="ml" data-title="വർഗ്ഗം:ഔപചാരിക ഭാഷകൾ" data-language-autonym="മലയാളം" data-language-local-name="مالایالامی" class="interlanguage-link-target"><span>മലയാളം</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Categorie:Formele_taal" title="Categorie:Formele taal–هلندی" lang="nl" hreflang="nl" data-title="Categorie:Formele taal" data-language-autonym="Nederlands" data-language-local-name="هلندی" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-nn mw-list-item"><a href="https://nn.wikipedia.org/wiki/Kategori:Formelle_spr%C3%A5k" title="Kategori:Formelle språk–نروژی نی‌نُشک" lang="nn" hreflang="nn" data-title="Kategori:Formelle språk" data-language-autonym="Norsk nynorsk" data-language-local-name="نروژی نی‌نُشک" class="interlanguage-link-target"><span>Norsk nynorsk</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Kategori:Formelle_spr%C3%A5k" title="Kategori:Formelle språk–نروژی بوک‌مُل" lang="nb" hreflang="nb" data-title="Kategori:Formelle språk" data-language-autonym="Norsk bokmål" data-language-local-name="نروژی بوک‌مُل" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Kategoria:J%C4%99zyki_formalne" title="Kategoria:Języki formalne–لهستانی" lang="pl" hreflang="pl" data-title="Kategoria:Języki formalne" data-language-autonym="Polski" data-language-local-name="لهستانی" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Categoria:Linguagens_formais" title="Categoria:Linguagens formais–پرتغالی" lang="pt" hreflang="pt" data-title="Categoria:Linguagens formais" data-language-autonym="Português" data-language-local-name="پرتغالی" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Categorie:Limbaje_formale_%C8%99i_automate" title="Categorie:Limbaje formale și automate–رومانیایی" lang="ro" hreflang="ro" data-title="Categorie:Limbaje formale și automate" data-language-autonym="Română" data-language-local-name="رومانیایی" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%A2%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D1%85_%D1%8F%D0%B7%D1%8B%D0%BA%D0%BE%D0%B2" title="Категория:Теория формальных языков–روسی" lang="ru" hreflang="ru" data-title="Категория:Теория формальных языков" data-language-autonym="Русский" data-language-local-name="روسی" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-sco mw-list-item"><a href="https://sco.wikipedia.org/wiki/Category:Formal_leids" title="Category:Formal leids–اسکاتلندی" lang="sco" hreflang="sco" data-title="Category:Formal leids" data-language-autonym="Scots" data-language-local-name="اسکاتلندی" class="interlanguage-link-target"><span>Scots</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Kategorija:Formalni_jezici" title="Kategorija:Formalni jezici–صرب و کرواتی" lang="sh" hreflang="sh" data-title="Kategorija:Formalni jezici" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="صرب و کرواتی" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Kateg%C3%B3ria:Form%C3%A1lne_jazyky" title="Kategória:Formálne jazyky–اسلواکی" lang="sk" hreflang="sk" data-title="Kategória:Formálne jazyky" data-language-autonym="Slovenčina" data-language-local-name="اسلواکی" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%98%D0%B0:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D0%BD%D0%B8_%D1%98%D0%B5%D0%B7%D0%B8%D1%86%D0%B8" title="Категорија:Формални језици–صربی" lang="sr" hreflang="sr" data-title="Категорија:Формални језици" data-language-autonym="Српски / srpski" data-language-local-name="صربی" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Kategori:Formella_spr%C3%A5k" title="Kategori:Formella språk–سوئدی" lang="sv" hreflang="sv" data-title="Kategori:Formella språk" data-language-autonym="Svenska" data-language-local-name="سوئدی" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%AB%E0%B8%A1%E0%B8%A7%E0%B8%94%E0%B8%AB%E0%B8%A1%E0%B8%B9%E0%B9%88:%E0%B8%A0%E0%B8%B2%E0%B8%A9%E0%B8%B2%E0%B8%A3%E0%B8%B9%E0%B8%9B%E0%B8%99%E0%B8%B1%E0%B8%A2" title="หมวดหมู่:ภาษารูปนัย–تایلندی" lang="th" hreflang="th" data-title="หมวดหมู่:ภาษารูปนัย" data-language-autonym="ไทย" data-language-local-name="تایلندی" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Kategorya:Mga_wikang_pormal" title="Kategorya:Mga wikang pormal–تاگالوگی" lang="tl" hreflang="tl" data-title="Kategorya:Mga wikang pormal" data-language-autonym="Tagalog" data-language-local-name="تاگالوگی" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Kategori:Formal_dilleri" title="Kategori:Formal dilleri–ترکی استانبولی" lang="tr" hreflang="tr" data-title="Kategori:Formal dilleri" data-language-autonym="Türkçe" data-language-local-name="ترکی استانبولی" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D1%96%D1%8F:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D1%96_%D0%BC%D0%BE%D0%B2%D0%B8" title="Категорія:Формальні мови–اوکراینی" lang="uk" hreflang="uk" data-title="Категорія:Формальні мови" data-language-autonym="Українська" data-language-local-name="اوکراینی" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-ur mw-list-item"><a href="https://ur.wikipedia.org/wiki/%D8%B2%D9%85%D8%B1%DB%81:%D8%AA%D8%B4%DA%A9%DB%8C%D9%84%DB%8C_%D8%B2%D8%A8%D8%A7%D9%86%DB%8C%DA%BA" title="زمرہ:تشکیلی زبانیں–اردو" lang="ur" hreflang="ur" data-title="زمرہ:تشکیلی زبانیں" data-language-autonym="اردو" data-language-local-name="اردو" class="interlanguage-link-target"><span>اردو</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/Th%E1%BB%83_lo%E1%BA%A1i:Ng%C3%B4n_ng%E1%BB%AF_h%C3%ACnh_th%E1%BB%A9c" title="Thể loại:Ngôn ngữ hình thức–ویتنامی" lang="vi" hreflang="vi" data-title="Thể loại:Ngôn ngữ hình thức" data-language-autonym="Tiếng Việt" data-language-local-name="ویتنامی" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/Category:%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80" title="Category:形式语言–چینی" lang="zh" hreflang="zh" data-title="Category:形式语言" data-language-autonym="中文" data-language-local-name="چینی" class="interlanguage-link-target"><span>中文</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q7142640#sitelinks-wikipedia" title="ویرایش پیوندهای بین‌زبانی" class="wbc-editpage">ویرایش پیوندها</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="فضاهای نام"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-category" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C" title="دیدن صفحهٔ رده [c]" accesskey="c"><span>رده</span></a></li><li id="ca-talk" class="new vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%D8%A8%D8%AD%D8%AB_%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&action=edit&redlink=1" rel="discussion" class="new" title="گفتگو پیرامون محتوای صفحه (صفحه وجود ندارد) [t]" accesskey="t"><span>بحث</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="تغییر گونهٔ زبان" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">فارسی</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="بازدیدها"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C"><span>خواندن</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&action=edit" title="ویرایش کد مبدأ این صفحه [e]" accesskey="e"><span>ویرایش</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&action=history" title="نسخه‌های پیشین این صفحه [h]" accesskey="h"><span>نمایش تاریخچه</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="ابزارهای صفحه"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="ابزارها" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">ابزارها</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">ابزارها</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">انتقال به نوار کناری</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">نهفتن</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="گزینه‌های بیشتر" > <div class="vector-menu-heading"> عمل‌ها </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C"><span>خواندن</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&action=edit" title="ویرایش کد مبدأ این صفحه [e]" accesskey="e"><span>ویرایش</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&action=history"><span>نمایش تاریخچه</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> عمومی </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D9%BE%DB%8C%D9%88%D9%86%D8%AF_%D8%A8%D9%87_%D8%A7%DB%8C%D9%86_%D8%B5%D9%81%D8%AD%D9%87/%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C" title="فهرست همهٔ صفحه‌هایی که به این صفحه پیوند می‌دهند [j]" accesskey="j"><span>پیوندها به این صفحه</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%AA%D8%BA%DB%8C%DB%8C%D8%B1%D8%A7%D8%AA_%D9%85%D8%B1%D8%AA%D8%A8%D8%B7/%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C" rel="nofollow" title="تغییرات اخیر صفحه‌هایی که این صفحه به آن‌ها پیوند دارد [k]" accesskey="k"><span>تغییرات مرتبط</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/ویکی‌پدیا:بارگذاری" title="بارگذاری تصاویر و پرونده‌های دیگر [u]" accesskey="u"><span>بارگذاری پرونده</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%B5%D9%81%D8%AD%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D9%88%DB%8C%DA%98%D9%87" title="فهرستی از همهٔ صفحه‌های ویژه [q]" accesskey="q"><span>صفحه‌های ویژه</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&oldid=18823696" title="پیوند پایدار به این نسخه از این صفحه"><span>پیوند پایدار</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&action=info" title="اطلاعات بیشتر دربارهٔ این صفحه"><span>اطلاعات صفحه</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:UrlQ%C4%B1sald%C4%B1c%C4%B1s%C4%B1&url=https%3A%2F%2Ffa.wikipedia.org%2Fwiki%2F%25D8%25B1%25D8%25AF%25D9%2587%3A%25D8%25B2%25D8%25A8%25D8%25A7%25D9%2586%25E2%2580%258C%25D9%2587%25D8%25A7%25DB%258C_%25D8%25B5%25D9%2588%25D8%25B1%25DB%258C"><span>دریافت نشانی کوتاه‌شده</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:QrKodu&url=https%3A%2F%2Ffa.wikipedia.org%2Fwiki%2F%25D8%25B1%25D8%25AF%25D9%2587%3A%25D8%25B2%25D8%25A8%25D8%25A7%25D9%2586%25E2%2580%258C%25D9%2587%25D8%25A7%25DB%258C_%25D8%25B5%25D9%2588%25D8%25B1%25DB%258C"><span>بارگیری کد QR</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> نسخه‌برداری </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=%D9%88%DB%8C%DA%98%D9%87:DownloadAsPdf&page=%D8%B1%D8%AF%D9%87%3A%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&action=show-download-screen"><span>بارگیری به‌صورت PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&printable=yes" title="نسخهٔ قابل چاپ این صفحه [p]" accesskey="p"><span>نسخهٔ قابل چاپ</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> در پروژه‌های دیگر </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Formal_languages" hreflang="en"><span>ویکی‌انبار</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q7142640" title="پیوند به آیتم متصل‌شدۀ مخزن داده‌ها [g]" accesskey="g"><span>آیتم ویکی‌داده</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="ابزارهای صفحه"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="ظاهر"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">ظاهر</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">انتقال به نوار کناری</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">نهفتن</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> <div id="mw-indicator-mw-helplink" class="mw-indicator"><a href="https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Categories" target="_blank" class="mw-helplink"><span class="mw-helplink-icon"></span>راهنما</a></div> </div> <div id="siteSub" class="noprint">از ویکی‌پدیا، دانشنامهٔ آزاد</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-rtl mw-parser-output" lang="fa" dir="rtl"><div style="font-style:italic;;font-size:95%; no-repeat right center;padding-right: 2em">برای اطلاعات بیشتر <b><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C" class="mw-redirect" title="زبان‌های صوری">زبان‌های صوری</a></b> را ببینید.</div>    </div><div class="mw-category-generated" lang="fa" dir="rtl"><div id="mw-subcategories"> <h2>زیررده‌ها</h2> <p>این رده ۷ زیرردۀ زیر را دارد، این رده در کل ۷ زیررده دارد. </p><div lang="fa" dir="rtl" class="mw-content-rtl"><div class="mw-category mw-category-columns"><div class="mw-category-group"><h3>ا</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="الگوریتم‌ها_بر_روی_رشته‌ها" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%A7%D9%84%DA%AF%D9%88%D8%B1%DB%8C%D8%AA%D9%85%E2%80%8C%D9%87%D8%A7_%D8%A8%D8%B1_%D8%B1%D9%88%DB%8C_%D8%B1%D8%B4%D8%AA%D9%87%E2%80%8C%D9%87%D8%A7" title="رده:الگوریتم‌ها بر روی رشته‌ها">الگوریتم‌ها بر روی رشته‌ها</a></bdi> <span title="شامل ۳ زیررده، ۵ صفحه و یک پرونده است" dir="rtl">(۳ ر، ۵ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>ت</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="تجزیه‌کننده" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%AA%D8%AC%D8%B2%DB%8C%D9%87%E2%80%8C%DA%A9%D9%86%D9%86%D8%AF%D9%87" title="رده:تجزیه‌کننده">تجزیه‌کننده</a></bdi> <span title="شامل ۳ زیررده، ۱۶ صفحه و یک پرونده است" dir="rtl">(۳ ر، ۱۶ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="تطبیق_الگو" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%AA%D8%B7%D8%A8%DB%8C%D9%82_%D8%A7%D9%84%DA%AF%D9%88" title="رده:تطبیق الگو">تطبیق الگو</a></bdi> <span title="شامل ۳ زیررده، ۱۶ صفحه و یک پرونده است" dir="rtl">(۳ ر، ۱۶ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>چ</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="چارچوب‌های_دستور_زبانی" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%DA%86%D8%A7%D8%B1%DA%86%D9%88%D8%A8%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%AF%D8%B3%D8%AA%D9%88%D8%B1_%D8%B2%D8%A8%D8%A7%D9%86%DB%8C" title="رده:چارچوب‌های دستور زبانی">چارچوب‌های دستور زبانی</a></bdi> <span title="شامل یک زیررده، ۲۰ صفحه و یک پرونده است" dir="rtl">(۱ ر، ۲۰ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>ز</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="زبان‌های_رایانه‌ای" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%E2%80%8C%D8%A7%DB%8C" title="رده:زبان‌های رایانه‌ای">زبان‌های رایانه‌ای</a></bdi> <span title="شامل ۱۰ زیررده، ۹ صفحه و یک پرونده است" dir="rtl">(۱۰ ر، ۹ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>ن</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="نظریه‌های_صوری" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%86%D8%B8%D8%B1%DB%8C%D9%87%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C" title="رده:نظریه‌های صوری">نظریه‌های صوری</a></bdi> <span title="شامل ۲ زیررده، یک صفحه و یک پرونده است" dir="rtl">(۲ ر، ۱ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="نمادهای_منطقی" aria-expanded="false"></a> </span> <bdi dir="rtl"><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%86%D9%85%D8%A7%D8%AF%D9%87%D8%A7%DB%8C_%D9%85%D9%86%D8%B7%D9%82%DB%8C" title="رده:نمادهای منطقی">نمادهای منطقی</a></bdi> <span title="شامل یک زیررده، ۱۵ صفحه و یک پرونده است" dir="rtl">(۱ ر، ۱۵ ص)</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div></div></div> </div><div id="mw-pages"> <h2>صفحه‌ها</h2> <p>۸۲ صفحۀ زیر در این رده هستند؛ این رده در کل ۸۲ صفحه دارد. </p><div lang="fa" dir="rtl" class="mw-content-rtl"><div class="mw-category mw-category-columns"><div class="mw-category-group"><h3>ا</h3> <ul><li><a href="/wiki/%D8%A7%D8%AA%D9%88%D9%85%D8%A7%D8%AA%D9%88%D9%86_%D8%AA%D8%B9%DB%8C%DB%8C%D9%86%E2%80%8C%D9%86%D8%A7%D9%BE%D8%B0%DB%8C%D8%B1_%D9%85%D8%AA%D9%86%D8%A7%D9%87%DB%8C" title="اتوماتون تعیین‌ناپذیر متناهی">اتوماتون تعیین‌ناپذیر متناهی</a></li> <li><a href="/wiki/%D8%A7%D9%84%D8%AD%D8%A7%D9%82_(%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87)" title="الحاق (علوم رایانه)">الحاق (علوم رایانه)</a></li> <li><a href="/wiki/%D8%A7%D9%84%D9%81%D8%A8%D8%A7_(%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7)" title="الفبا (نظریه زبان‌ها)">الفبا (نظریه زبان‌ها)</a></li></ul></div><div class="mw-category-group"><h3>ب</h3> <ul><li><a href="/wiki/%D8%A8%D8%A7%D8%B2%DA%AF%D8%B4%D8%AA_%DA%86%D9%BE" title="بازگشت چپ">بازگشت چپ</a></li> <li><a href="/wiki/%D8%A8%D8%A7%D8%B2%D9%86%D9%88%DB%8C%D8%B3%DB%8C_(%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C)" title="بازنویسی (ریاضی)">بازنویسی (ریاضی)</a></li></ul></div><div class="mw-category-group"><h3>پ</h3> <ul><li><a href="/wiki/%D9%BE%D8%A7%D8%B1%D8%B3%D9%86%DA%AF_%D8%A7%DA%A9%D8%B3%D9%BE%D8%B1%D8%B4%D9%86_%DA%AF%D8%B1%D8%A7%D9%85%D8%B1" title="پارسنگ اکسپرشن گرامر">پارسنگ اکسپرشن گرامر</a></li></ul></div><div class="mw-category-group"><h3>ت</h3> <ul><li><a href="/wiki/%D8%AA%D8%B1%DA%A9%DB%8C%D8%A8_%DA%A9%D9%86%D9%86%D8%AF%D9%87_%D8%AA%D8%AC%D8%B2%DB%8C%D9%87%E2%80%8C%DA%AF%D8%B1" title="ترکیب کننده تجزیه‌گر">ترکیب کننده تجزیه‌گر</a></li> <li><a href="/wiki/%D8%AA%D8%B9%D9%85%DB%8C%D9%85_%D8%AF%D8%B3%D8%AA%D9%88%D8%B1_%D8%A8%D8%A7%D9%81%D8%AA%E2%80%8C%D8%A2%D8%B2%D8%A7%D8%AF" title="تعمیم دستور بافت‌آزاد">تعمیم دستور بافت‌آزاد</a></li> <li><a href="/wiki/%D8%AA%D9%88%D9%84%DB%8C%D8%AF_(%D8%B9%D9%84%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87)" title="تولید (علم رایانه)">تولید (علم رایانه)</a></li></ul></div><div class="mw-category-group"><h3>ح</h3> <ul><li><a href="/wiki/%D8%AD%D8%B1%D9%88%D9%81_%D9%85%D8%B9%DB%8C%D9%86" title="حروف معین">حروف معین</a></li></ul></div><div class="mw-category-group"><h3>د</h3> <ul><li><a href="/wiki/%D8%AF%D8%B1%D8%AE%D8%AA_(_%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D8%AE%D9%88%D8%AF%DA%A9%D8%A7%D8%B1_)" title="درخت ( نظریه خودکار )">درخت ( نظریه خودکار )</a></li> <li><a href="/wiki/%D8%AF%D8%B1%D8%AE%D8%AA_%D9%86%D8%AD%D9%88_%D8%A7%D9%86%D8%AA%D8%B2%D8%A7%D8%B9%DB%8C" title="درخت نحو انتزاعی">درخت نحو انتزاعی</a></li> <li><a href="/wiki/%D8%AF%D8%B1%DB%8C%DA%86%D9%87_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D8%B4%DB%8C" title="دریچه رایانشی">دریچه رایانشی</a></li> <li><a href="/wiki/%D8%AF%D8%B3%D8%AA%DA%AF%D8%A7%D9%87_%D8%A7%D8%B9%D8%AF%D8%A7%D8%AF_%DB%8C%DA%A9%D8%A7%D9%86%DB%8C" title="دستگاه اعداد یکانی">دستگاه اعداد یکانی</a></li> <li><a href="/wiki/%D8%AF%D8%B3%D8%AA%DA%AF%D8%A7%D9%87_%D8%B5%D9%88%D8%B1%DB%8C" title="دستگاه صوری">دستگاه صوری</a></li> <li><a href="/wiki/%D8%AF%D8%B3%D8%AA%D9%88%D8%B1_%D8%A8%D8%A7%D9%81%D8%AA%E2%80%8C%D8%A2%D8%B2%D8%A7%D8%AF" title="دستور بافت‌آزاد">دستور بافت‌آزاد</a></li> <li><a href="/wiki/%D8%AF%D8%B3%D8%AA%D9%88%D8%B1_%D8%B2%D8%A8%D8%A7%D9%86_%D9%85%D8%A8%D9%87%D9%85" title="دستور زبان مبهم">دستور زبان مبهم</a></li> <li><a href="/wiki/%D8%AF%D8%B3%D8%AA%D9%88%D8%B1_%D8%B2%D8%A8%D8%A7%D9%86_%D9%85%D8%B3%D8%AA%D9%82%D9%84%E2%80%8C%D8%A7%D8%B2%D9%85%D8%AA%D9%86_%D9%82%D8%B7%D8%B9%DB%8C" title="دستور زبان مستقل‌ازمتن قطعی">دستور زبان مستقل‌ازمتن قطعی</a></li> <li><a href="/wiki/%D8%AF%D8%B3%D8%AA%D9%88%D8%B1_%D8%B2%D8%A8%D8%A7%D9%86_%D9%85%D9%86%D8%B8%D9%85" title="دستور زبان منظم">دستور زبان منظم</a></li> <li><a href="/wiki/%D8%AF%D8%B3%D8%AA%D9%88%D8%B1_%D8%B5%D9%88%D8%B1%DB%8C" title="دستور صوری">دستور صوری</a></li></ul></div><div class="mw-category-group"><h3>ر</h3> <ul><li><a href="/wiki/%D8%B1%D8%B4%D8%AA%D9%87_(%D8%B9%D9%84%D9%88%D9%85_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87)" title="رشته (علوم رایانه)">رشته (علوم رایانه)</a></li> <li><a href="/wiki/%D8%B1%D9%88%D8%B4_%D8%A7%D8%AB%D8%A8%D8%A7%D8%AA" title="روش اثبات">روش اثبات</a></li></ul></div><div class="mw-category-group"><h3>ز</h3> <ul><li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%A7%D9%85%DA%AF%D8%A7" title="زبان امگا">زبان امگا</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%A8%D8%A7%D8%B2%DA%AF%D8%B4%D8%AA%DB%8C" title="زبان بازگشتی">زبان بازگشتی</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%AA%D9%88%D8%B5%DB%8C%D9%81_%DA%A9%D8%A7%D9%85%D9%BE%D8%A7%DB%8C%D9%84%D8%B1" title="زبان توصیف کامپایلر">زبان توصیف کامپایلر</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%AD%D8%B3%D8%A7%D8%B3%E2%80%8C%D8%A8%D9%87%E2%80%8C%D9%85%D8%AA%D9%86" title="زبان حساس‌به‌متن">زبان حساس‌به‌متن</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D8%B4%D9%85%D8%A7%D8%B1%D8%B4%E2%80%8C%D9%BE%D8%B0%DB%8C%D8%B1_%D8%A8%D8%A7%D8%B2%DA%AF%D8%B4%D8%AA%DB%8C" title="زبان شمارش‌پذیر بازگشتی">زبان شمارش‌پذیر بازگشتی</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D9%85%D8%B3%D8%AA%D9%82%D9%84_%D8%A7%D8%B2_%D9%85%D8%AA%D9%86" title="زبان مستقل از متن">زبان مستقل از متن</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D9%85%D8%B3%D8%AA%D9%82%D9%84%E2%80%8C%D8%A7%D8%B2%D9%85%D8%AA%D9%86_%D9%82%D8%B7%D8%B9%DB%8C" title="زبان مستقل‌ازمتن قطعی">زبان مستقل‌ازمتن قطعی</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D9%85%D9%86%D8%B8%D9%85" title="زبان منظم">زبان منظم</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D9%86%D8%B4%D8%A7%D9%86%D9%87%E2%80%8C%DA%AF%D8%B0%D8%A7%D8%B1%DB%8C" title="زبان نشانه‌گذاری">زبان نشانه‌گذاری</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86_%D9%86%D9%85%D8%A7%DB%8C%D9%87%E2%80%8C%D8%B3%D8%A7%D8%B2%DB%8C%E2%80%8C%D8%B4%D8%AF%D9%87" title="زبان نمایه‌سازی‌شده">زبان نمایه‌سازی‌شده</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D8%B4%D9%86%D8%A7%D8%B3%DB%8C_%D8%B5%D9%88%D8%B1%D8%AA%E2%80%8C%DA%AF%D8%B1%D8%A7" title="زبان‌شناسی صورت‌گرا">زبان‌شناسی صورت‌گرا</a></li> <li><a href="/wiki/%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D9%BE%D8%B4%D8%AA%D9%87%E2%80%8C%D8%A7%DB%8C_%D8%B9%DB%8C%D8%A7%D9%86" title="زبان‌های پشته‌ای عیان">زبان‌های پشته‌ای عیان</a></li></ul></div><div class="mw-category-group"><h3>س</h3> <ul><li><a href="/wiki/%D8%B3%D8%AA%D8%A7%D8%B1%D9%87_%DA%A9%D9%84%DB%8C%D9%86" title="ستاره کلین">ستاره کلین</a></li></ul></div><div class="mw-category-group"><h3>ط</h3> <ul><li><a href="/wiki/%D8%B7%D9%88%D9%84%D8%A7%D9%86%DB%8C%E2%80%8C%D8%AA%D8%B1%DB%8C%D9%86_%D8%B2%DB%8C%D8%B1%D8%B1%D8%B4%D8%AA%D9%87_%D8%B5%D8%B9%D9%88%D8%AF%DB%8C" title="طولانی‌ترین زیررشته صعودی">طولانی‌ترین زیررشته صعودی</a></li></ul></div><div class="mw-category-group"><h3>ع</h3> <ul><li><a href="/wiki/%D8%B9%D8%A8%D8%A7%D8%B1%D8%AA_%D8%A8%D8%A7%D9%82%D8%A7%D8%B9%D8%AF%D9%87" title="عبارت باقاعده">عبارت باقاعده</a></li></ul></div><div class="mw-category-group"><h3>ف</h3> <ul><li><a href="/wiki/%D9%81%D8%B1%D9%85_%D8%A8%D8%A7%DA%A9%D9%88%D8%B3_%D9%86%D8%A7%D8%A6%D9%88%D8%B1" title="فرم باکوس نائور">فرم باکوس نائور</a></li> <li><a href="/wiki/%D9%81%D8%B1%D9%85_%D8%A8%D8%A7%DA%A9%D9%88%D8%B3_%D9%86%D8%A7%D8%A6%D9%88%D8%B1_%D8%AA%D9%88%D8%B3%D8%B9%D9%87_%DB%8C%D8%A7%D9%81%D8%AA%D9%87" title="فرم باکوس نائور توسعه یافته">فرم باکوس نائور توسعه یافته</a></li> <li><a href="/wiki/%D9%81%D8%B1%D9%85_%D9%86%D8%B1%D9%85%D8%A7%D9%84_%DA%86%D8%A7%D9%85%D8%B3%DA%A9%DB%8C" title="فرم نرمال چامسکی">فرم نرمال چامسکی</a></li> <li><a href="/wiki/%D9%81%D8%B1%D9%85_%D9%86%D8%B1%D9%85%D8%A7%D9%84_%DA%AF%D8%B1%DB%8C%D8%A8%D8%A7%D8%AE" title="فرم نرمال گریباخ">فرم نرمال گریباخ</a></li> <li><a href="/wiki/%D9%81%D8%B1%D9%85%D8%A7%D9%84%DB%8C%D8%B3%D9%85_%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D9%86%DB%8C%D9%85%D9%87_%D8%AD%D8%B3%D8%A7%D8%B3_%D8%A8%D9%87_%D9%85%D8%AA%D9%86" title="فرمالیسم گرامر نیمه حساس به متن">فرمالیسم گرامر نیمه حساس به متن</a></li> <li><a href="/wiki/%D9%81%D8%B1%D9%85%D9%88%D9%84_%D8%AE%D9%88%D8%B4%E2%80%8C%D9%81%D8%B1%D9%85" title="فرمول خوش‌فرم">فرمول خوش‌فرم</a></li></ul></div><div class="mw-category-group"><h3>ق</h3> <ul><li><a href="/wiki/%D9%82%D8%B6%DB%8C%D9%87_%D9%85%D8%A7%DB%8C%E2%80%8C%D9%87%DB%8C%D9%84%E2%80%93%D9%86%D8%B1%D9%88%D8%AF" title="قضیه مای‌هیل–نرود">قضیه مای‌هیل–نرود</a></li> <li><a href="/wiki/%D9%82%D9%88%D8%A7%D8%B9%D8%AF_%D8%A8%D8%A7%D8%B2%DA%AF%D8%B4%D8%AA%DB%8C" title="قواعد بازگشتی">قواعد بازگشتی</a></li> <li><a href="/wiki/%D9%82%D9%88%D8%A7%D9%86%DB%8C%D9%86_%D8%A8%DB%8C%E2%80%8C%D9%81%D8%A7%DB%8C%D8%AF%D9%87" title="قوانین بی‌فایده">قوانین بی‌فایده</a></li></ul></div><div class="mw-category-group"><h3>گ</h3> <ul><li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_(%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C)" title="گرامر (زبان‌های صوری)">گرامر (زبان‌های صوری)</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D8%A7%D8%B3%E2%80%8C%D8%A7%D9%84%E2%80%8C%D8%A2%D8%B1" title="گرامر اس‌ال‌آر">گرامر اس‌ال‌آر</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D8%A7%D9%84%E2%80%8C%D8%A7%D9%84" title="گرامر ال‌ال">گرامر ال‌ال</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D9%BE%DB%8C%D8%B4%D9%88%D9%86%D8%AF%DB%8C" title="گرامر پیشوندی">گرامر پیشوندی</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D9%BE%DB%8C%D9%88%D8%B3%D8%AA" title="گرامر پیوست">گرامر پیوست</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D8%AD%D8%B3%D8%A7%D8%B3_%D8%A8%D9%87_%D9%85%D8%AA%D9%86" title="گرامر حساس به متن">گرامر حساس به متن</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D8%AE%D8%B7%DB%8C" title="گرامر خطی">گرامر خطی</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D8%AF%D8%B1%D8%AE%D8%AA_%D9%85%D9%86%D8%B8%D9%85" title="گرامر درخت منظم">گرامر درخت منظم</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D8%B5%D9%81%D8%AA" title="گرامر صفت">گرامر صفت</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D8%B9%D9%85%D9%84%DA%AF%D8%B1_%D8%A7%D9%88%D9%84%D9%88%DB%8C%D8%AA" title="گرامر عملگر اولویت">گرامر عملگر اولویت</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D9%85%D8%A7%D8%AA%D8%B1%DB%8C%D8%B3%DB%8C" title="گرامر ماتریسی">گرامر ماتریسی</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D9%85%D8%B3%D8%AA%D9%82%D9%84_%D8%A7%D8%B2_%D9%85%D8%AA%D9%86_%D8%AA%D8%B5%D8%A7%D8%AF%D9%81%DB%8C" title="گرامر مستقل از متن تصادفی">گرامر مستقل از متن تصادفی</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1_%D9%86%D9%85%D8%A7%DB%8C%D9%87%E2%80%8C%D8%B3%D8%A7%D8%B2%DB%8C%E2%80%8C%D8%B4%D8%AF%D9%87" title="گرامر نمایه‌سازی‌شده">گرامر نمایه‌سازی‌شده</a></li> <li><a href="/wiki/%DA%AF%D8%B1%D8%A7%D9%85%D8%B1%D9%87%D8%A7%DB%8C_%D8%B9%D8%A8%D8%A7%D8%B1%D8%AA_%D9%82%D8%B7%D8%B9%DB%8C" title="گرامرهای عبارت قطعی">گرامرهای عبارت قطعی</a></li></ul></div><div class="mw-category-group"><h3>ل</h3> <ul><li><a href="/wiki/%D9%84%D9%85_%D8%A7%D9%88%DA%AF%D8%AF%D9%86" title="لم اوگدن">لم اوگدن</a></li> <li><a href="/wiki/%D9%84%D9%85_%D8%AA%D8%B2%D8%B1%DB%8C%D9%82" title="لم تزریق">لم تزریق</a></li> <li><a href="/wiki/%D9%84%D9%85_%D8%AA%D8%B2%D8%B1%DB%8C%D9%82_%D8%A8%D8%B1%D8%A7%DB%8C_%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D9%85%D8%B3%D8%AA%D9%82%D9%84_%D8%A7%D8%B2_%D9%85%D8%AA%D9%86" title="لم تزریق برای زبان‌های مستقل از متن">لم تزریق برای زبان‌های مستقل از متن</a></li> <li><a href="/wiki/%D9%84%D9%85_%D8%AA%D8%B2%D8%B1%DB%8C%D9%82_%D8%A8%D8%B1%D8%A7%DB%8C_%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D9%85%D9%86%D8%B8%D9%85" title="لم تزریق برای زبان‌های منظم">لم تزریق برای زبان‌های منظم</a></li></ul></div><div class="mw-category-group"><h3>م</h3> <ul><li><a href="/wiki/%D9%85%D8%A7%D8%B4%DB%8C%D9%86_%D8%AA%D9%88%D8%B1%DB%8C%D9%86%DA%AF" title="ماشین تورینگ">ماشین تورینگ</a></li> <li><a href="/wiki/%D9%85%D8%A7%D8%B4%DB%8C%D9%86_%D8%AC%D8%A7%DB%8C%DA%AF%D8%B4%D8%AA" title="ماشین جایگشت">ماشین جایگشت</a></li> <li><a href="/wiki/%D9%85%D8%A7%D8%B4%DB%8C%D9%86_%D8%AD%D8%A7%D9%84%D8%A7%D8%AA_%D9%85%D8%AA%D9%86%D8%A7%D9%87%DB%8C" title="ماشین حالات متناهی">ماشین حالات متناهی</a></li> <li><a href="/wiki/%D9%85%D8%A7%D8%B4%DB%8C%D9%86_%D8%AF%D8%B1%D8%AE%D8%AA%DB%8C" title="ماشین درختی">ماشین درختی</a></li> <li><a href="/wiki/%D9%85%D8%A7%D8%B4%DB%8C%D9%86_%D9%82%D8%B7%D8%B9%DB%8C_%D9%BE%D8%B4%D8%AA%D9%87%E2%80%8C%D8%A7%DB%8C" title="ماشین قطعی پشته‌ای">ماشین قطعی پشته‌ای</a></li> <li><a href="/wiki/%D9%85%D8%A8%D8%AF%D9%84_%D8%A8%D8%A7_%D8%AD%D8%A7%D9%84%D8%AA_%D9%85%D8%AD%D8%AF%D9%88%D8%AF" title="مبدل با حالت محدود">مبدل با حالت محدود</a></li> <li><a href="/wiki/%D9%85%D8%AA%D8%A7%DA%A9%D8%A7%D8%B1%D8%A7%DA%A9%D8%AA%D8%B1" title="متاکاراکتر">متاکاراکتر</a></li> <li><a href="/wiki/%D9%85%D8%AA%D8%B1%D8%AC%D9%85_%D8%AF%D9%88%DA%AF%D8%A7%D9%86%D9%87" title="مترجم دوگانه">مترجم دوگانه</a></li> <li><a href="/wiki/%D9%85%D8%B3%D8%A6%D9%84%D9%87_%D8%A7%D8%B1%D8%AA%D9%81%D8%A7%D8%B9_%D8%B3%D8%AA%D8%A7%D8%B1%D9%87" title="مسئله ارتفاع ستاره">مسئله ارتفاع ستاره</a></li> <li><a href="/wiki/%D9%85%D9%88%D8%AA%D9%88%D8%B1_%D8%AA%D8%AC%D8%B2%DB%8C%D9%87_%DA%AF%D8%B1%D8%A7%D9%85%D8%B1" title="موتور تجزیه گرامر">موتور تجزیه گرامر</a></li></ul></div><div class="mw-category-group"><h3>ن</h3> <ul><li><a href="/wiki/%D9%86%D8%AD%D9%88_(%D9%85%D9%86%D8%B7%D9%82)" title="نحو (منطق)">نحو (منطق)</a></li> <li><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%D9%BE%D8%A7%D8%B1%DB%8C%DA%A9" title="نظریه پاریک">نظریه پاریک</a></li> <li><a href="/wiki/%D9%86%D8%B8%D8%B1%DB%8C%D9%87_%DA%AF%D8%B1%DB%8C%D8%A8%D8%A7%D8%AE" title="نظریه گریباخ">نظریه گریباخ</a></li> <li><a href="/wiki/%D9%86%DA%AF%D8%A7%D8%B1%D8%A7%D9%84" title="نگارال">نگارال</a></li> <li><a href="/wiki/%D9%86%D9%85%D8%A7%D8%AF%D9%87%D8%A7%DB%8C_%D9%BE%D8%A7%DB%8C%D8%A7%D9%86%DB%8C_%D9%88_%D8%BA%DB%8C%D8%B1%D9%BE%D8%A7%DB%8C%D8%A7%D9%86%DB%8C" title="نمادهای پایانی و غیرپایانی">نمادهای پایانی و غیرپایانی</a></li> <li><a href="/wiki/%D9%86%DB%8C%D9%85_%D8%A7%D8%AA%D9%88%D9%85%D8%A7%D8%AA%D9%88%D9%86" title="نیم اتوماتون">نیم اتوماتون</a></li></ul></div><div class="mw-category-group"><h3>و</h3> <ul><li><a href="/wiki/%D9%88%D8%B1%D8%A7%D8%AB%D8%AA_%DA%86%D8%A7%D9%85%D8%B3%DA%A9%DB%8C" title="وراثت چامسکی">وراثت چامسکی</a></li></ul></div><div class="mw-category-group"><h3>D</h3> <ul><li><a href="/wiki/Diff" title="Diff">Diff</a></li></ul></div></div></div> </div></div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?useformat=desktop&type=1x1&usesul3=0" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">برگرفته از «<a dir="ltr" href="https://fa.wikipedia.org/w/index.php?title=رده:زبان‌های_صوری&oldid=18823696">https://fa.wikipedia.org/w/index.php?title=رده:زبان‌های_صوری&oldid=18823696</a>»</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/%D9%88%DB%8C%DA%98%D9%87:%D8%B1%D8%AF%D9%87%E2%80%8C%D9%87%D8%A7" title="ویژه:رده‌ها">رده‌ها</a>: <ul><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D9%81%D8%B1%D8%A7%D9%85%D9%86%D8%B7%D9%82" title="رده:فرامنطق">فرامنطق</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D9%81%D8%B1%D8%A7%D8%B3%D8%A7%D8%AE%D8%AA%D9%87" title="رده:زبان‌های فراساخته">زبان‌های فراساخته</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D8%B5%D9%88%D8%B1%DB%8C" title="رده:علوم صوری">علوم صوری</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%AF%D8%B3%D8%AA%D9%88%D8%B1_%D8%B2%D8%A8%D8%A7%D9%86" title="رده:دستور زبان">دستور زبان</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B1%D9%88%D8%B4%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C" title="رده:روش‌های صوری">روش‌های صوری</a></li><li><a href="/wiki/%D8%B1%D8%AF%D9%87:%D8%B9%D9%84%D9%88%D9%85_%D9%86%D8%B8%D8%B1%DB%8C_%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87" title="رده:علوم نظری رایانه">علوم نظری رایانه</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> این صفحه آخرین‌بار در ۲۸ ژانویهٔ ۲۰۱۷ ساعت ۰۶:۰۲ ویرایش شده است.</li> <li id="footer-info-copyright">همهٔ نوشته‌ها تحت <a rel="nofollow" class="external text" href="//creativecommons.org/licenses/by-sa/4.0/deed.ar">مجوز Creative Commons Attribution/Share-Alike</a> در دسترس است؛ برای جزئیات بیشتر <a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use">شرایط استفاده</a> را بخوانید.<br /> ویکی‌پدیا® علامتی تجاری متعلق به سازمان غیرانتفاعی <a rel="nofollow" class="external text" href="https://www.wikimediafoundation.org/">بنیاد ویکی‌مدیا</a> است.<br /></li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">سیاست حفظ حریم خصوصی</a></li> <li id="footer-places-about"><a href="/wiki/%D9%88%DB%8C%DA%A9%DB%8C%E2%80%8C%D9%BE%D8%AF%DB%8C%D8%A7:%D8%AF%D8%B1%D8%A8%D8%A7%D8%B1%D9%87">دربارهٔ ویکی‌پدیا</a></li> <li id="footer-places-disclaimers"><a href="/wiki/%D9%88%DB%8C%DA%A9%DB%8C%E2%80%8C%D9%BE%D8%AF%DB%8C%D8%A7:%D8%AA%DA%A9%D8%B0%DB%8C%D8%A8%E2%80%8C%D9%86%D8%A7%D9%85%D9%87%D9%94_%D8%B9%D9%85%D9%88%D9%85%DB%8C">تکذیب‌نامه‌ها</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">آیین‌نامه رفتاری</a></li> <li id="footer-places-developers"><a href="https://www.mediawiki.org/wiki/How_to_contribute/fa?uselang=fa">توسعه‌دهندگان</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/fa.wikipedia.org">آمار</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">بیانیهٔ کوکی</a></li> <li id="footer-places-mobileview"><a href="//fa.m.wikipedia.org/w/index.php?title=%D8%B1%D8%AF%D9%87:%D8%B2%D8%A8%D8%A7%D9%86%E2%80%8C%D9%87%D8%A7%DB%8C_%D8%B5%D9%88%D8%B1%DB%8C&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">نمای موبایل</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-66c5b56c76-lbw9x","wgBackendResponseTime":162,"wgPageParseReport":{"limitreport":{"cputime":"0.006","walltime":"0.009","ppvisitednodes":{"value":18,"limit":1000000},"postexpandincludesize":{"value":397,"limit":2097152},"templateargumentsize":{"value":90,"limit":2097152},"expansiondepth":{"value":6,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":0,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 4.827 1 -total","100.00% 4.827 1 الگو:اطلاعات_رده"," 38.08% 1.838 1 الگو:Rellink"]},"cachereport":{"origin":"mw-web.codfw.main-79d9bc49cc-7jz9b","timestamp":"20241202222053","ttl":2592000,"transientcontent":false}}});});</script> </body> </html>