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

جز
ربات: اصلاح فاصله مجازی: "ای" بعد از "ه"
جز (ربات افزودن: sr:Формални језик)
جز (ربات: اصلاح فاصله مجازی: "ای" بعد از "ه")
* الفبا : یک مجموعه متناهی از نمادها که در یک زبان تعریف شده اند . الفبای زبان توسط Σ نشان داده می‌شود .
 
* رشته : دنباله ایدنباله‌ای از نماد های یک مجموعه الفباست که با عمل الحاق به هم پیوسته اند .
 
رشته ممکن است متناهی یا غیر متناهی باشد . طول یک رشته برابر است با تعداد نمادهایی که رشته را تشکیل می‌دهند . طول رشته را با قدر مطلق آن نمایش می‌دهند . مثلاً :
اگر w=aabbbbc آنگاه طول رشته ( |w| ) برابر است با هفت . زیرا این رشته با هفت نماد ساخته شده است .
 
* زبان : مجموعه ایمجموعه‌ای از رشته‌ها است . این مجموعه می‌تواند متناهی ، نامتناهی شمارا یا نامتناهی ناشمارا باشد .
 
زبان بدون رشته را با Ø نشان می‌دهند .
 
رشته ایرشته‌ای به طول صفر را با λ یا ε نشان می‌دهند . آن را [[رشته تهی]] می نامند .
 
== دسته‌بندی زبان‌های فرمال ==
== عملگرهای روی زبان های فرمال ==
 
زبان مجموعه ایمجموعه‌ای از رشته هاست . بنابر این ماهیت زبان ها ، مجموعه است . همه عملگر هایی که روی مجموعه‌ها تعریف شده اند مانند اجتماع ، اشتراک ، متمم ، تفاضل و ... روی زبان ها قابل تعریف هستند .
 
[[الحاق (نظریه ماشین‌ها)|عملگر الحاق]] که روی رشته‌ها تعریف شده است ، روی زبان ها نیز قابل تعریف است .
۸۲٬۴۴۱

ویرایش