در ، ، و ، به مطالعهٔ زبان‌های صوری و دسته‌بندی آنها می‌پردازد. در نظریهٔ زبان‌ها تنها جنبه‌های زبان‌ها (یعنی الگوهای ساختاری درونی آنها) و به معنای جملات و ... اهمیتی نمی‌دهیم (مثلاً جملهٔ «رنگ آسمان قرمز است» ممکن است در یک زبان صوری جملهٔ مورد قبولی باشد).
 نظریهٔ زبان‌ها به عنوان راهی برای درک قوانین نحوی از سرچشمه گرفت و در پیشرفت آن نقش مؤثری داشت. در ، زبان‌های صوری به عنوان مبنایی برای تعریف دستور استفاده می‌شوند. در ، معمولاً به عنوان زبان‌های صوری تعریف می‌شوند و به عنوان مجموعه‌ای از زبان‌های صوری تعریف می‌شوند که می‌توانند توسط ماشین‌های تجزیه شوند. در ، فرمالیسم ریاضی و ، از زبان‌های صوری برای تعریف دقیق نحو همچون استفاده می‌شود. 
 یک (به : ) شامل است متشکل از که بر اساس قوانینی به صورت خوش‌ساخت شکل بگیرند. 
 در علوم کامپیوتر و ریاضیات که معمولاً با سروکار ندارند، صفت «صوری» می شود. مفهوم شباهت بیشتری به دارد. زبانی که با قواعد محدود شده باشد.
 مقالهٔ اصلی: مجموعهٔ حروفی (مثل الف، ب، پ و ...) به نام است که با قرارگیری آنها در کنار هم (الحاقشان) کلماتی به نام پدید می‌آیند. هر کلمهٔ صوری از به هم پیوستن حروف این الفبا به دست می‌آید. مثلاً کلمهٔ «آب» (با حروف آ + ب) به زبان تعلق دارد ولی در معنا ندارد (با این وجود یکسان است). گاهی کلماتی که به یک زبان صوری خاص تعلق دارند نامیده می شوند. 
 هر از از یک خاص را یک در (یا بر روی ) می‌نامیم. به عبارتی دیگر است. 
 با این تعریف نیز یک زبان (زبان تهی بر روی هر دلخواه) محسوب می‌شود. در یک زبان لزومی ندارد که از همهٔ حروف الفبا استفاده شود. 
 گاهی برای توصیف زبان‌ها از استفاده می‌شود و در این مواقع یک زبان را مجهز به یک گرامر فرض می‌کنیم: 
 ماهیت زبان‌ها است؛ در نتیجه (تفاضل، ، و ) روی آنها نیز تعریف می‌شود: 
 
 همچنین و نیز روی زبان‌ها قابل تعمیم است: 
 
 
 
 
 برای تولید یا توصیف یک زبان از ، ، (به : ) یا استفاده می‌شود. 
 معادل در یک زبان صوری است. مجموعهٔ همهٔ رشته‌هایی که یک اتوماتا می‌پذیرد (یا یک گرامر تولید می‌کند یا با یک عبارت باقاعده تطابق دارند) یک زبان است. همچنین پذیرش یک رشته توسط یک ماشین معادل عضویت آن در زبان مذکور است. بنابراین نظریه زبان‌ها بسیار با مرتبط است و همچنین یک حوزه کاربردی اصلی در و است. 
 زبان‌های صوری را می‌توان به کمک بر اساس قدرت مولد ( ) آنها و یا پیچیدگی تصمیم آنها طبقه بندی کرد.
{"title": "نظریه زبان‌ها", "link": "https://fa.wikipedia.org//w/index.php?title=%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&oldid=34463743", "language": "fa"}