تفاوت میان نسخه‌های «زبان صوری»

هیچ تغییری در اندازه به وجود نیامده‌ است. ،  ۴ سال پیش
جز
جز (افزودن جستارهای وابسته)
 
== تعاریف پایه ==
* [[نماد]]: کوچک‌ترین و بنیادی‌ترین عضو یک زبان است. برخی مواقع به نمادها حرف هم گفته می‌شود. نمادها را معمولاً با حروف لاتین کوچک مثل a b و...و… نشان می‌دهند.
* الفبا: یک مجموعه متناهی از نمادها که در یک زبان تعریف شده‌اند. الفبای زبان توسط Σ نشان داده می‌شود.
* رشته: دنباله‌ای از نمادهای یک مجموعه الفباست که با عمل الحاق به هم پیوسته‌اند.
رشته ممکن است متناهی یا غیر متناهی باشد. طول یک رشته برابر است با تعداد نمادهایی که رشته را تشکیل می‌دهند. طول رشته را با قدر مطلق آن نمایش می‌دهند. مثلاً:
 
اگر w=aabbbbc آنگاه طول رشته ( |w| ) برابر است با هفت. زیرا این رشته با هفت نماد ساخته شده‌است.
* زبان: مجموعه‌ای از رشته‌هاست. این مجموعه می‌تواند متناهی، نامتناهی شمارا یا نامتناهی ناشمارا باشد.
 
 
== دسته‌بندی زبان‌های فرمال ==
 
زبان‌های فرمال به چهار دسته تقسیم می‌شوند:
* [[زبان‌های منظم]]
 
== عملگرهای روی زبان‌های فرمال ==
زبان مجموعه‌ای از رشته‌هاست.رشته‌هاست؛ بنابراین ماهیت زبان‌ها، مجموعه است. همهٔ عملگرهایی که روی مجموعه‌ها تعریف شده‌اند مانند اجتماع، اشتراک، متمم، تفاضل و...و… روی زبان‌ها قابل تعریف هستند.
 
زبان مجموعه‌ای از رشته‌هاست. بنابراین ماهیت زبان‌ها، مجموعه است. همهٔ عملگرهایی که روی مجموعه‌ها تعریف شده‌اند مانند اجتماع، اشتراک، متمم، تفاضل و... روی زبان‌ها قابل تعریف هستند.
 
[[الحاق (نظریه ماشین‌ها)|عملگر الحاق]] که روی رشته‌ها تعریف شده‌است، روی زبان‌ها نیز قابل تعریف است.
 
== تعریف ==
 
یک زبان صوری <math>L \!</math> برروی یک الفبای <math>\Sigma \!</math> عبارت است از یک زیرمجموعه از <math>\Sigma^{*} \!</math>
 
 
== پانوشته‌ها ==
{{پانویس}}
 
<References/>
 
== منابع ==
 
{{چپ‌چین}}
* Sudkamp, T. A. , ''An Introduction to the Theory of Computer Science, Languages and Machines'', 3rd ed. , Pearson Education, Inc. , 2006. ISBN 0-321-32221-5 [http://www.amazon.com/Languages-Machines-Introduction-Computer-Science/dp/0321322215]
{{پایان چپ‌چین}}
 
۴۹٬۷۹۷

ویرایش