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

جز
ربات:اصلاح فاصلهٔ مجازی
جز (ربات اصلاح: bg:Формален език)
جز (ربات:اصلاح فاصلهٔ مجازی)
در [[ریاضیات]]، [[منطق]] و دانش [[رایانه]]، به زبانی که با فرمول‌های دقیق ریاضیاتی و قابل پردازش برای ماشین تعریف شداند، '''زبان‌های فُرمال''' یا '''زبان‌های صوری''' گفته می‌شود.
 
به طور کلی در این رشته‌ها، زبان هازبان‌ها به دو دسته فرمال و طبیعی تقسیم بندی می‌شوند . زبان هایزبان‌های فرمال زبان هایی هستند که توسط گرامر هاگرامرها تولید می‌شوند یا ماشینی برای ارزبابی آنها وجود دارد .
 
 
 
 
* [[نماد]] : کوچک ترینکوچک‌ترین و بنیادی ترینبنیادی‌ترین عضو یک زبان است . برخی مواقع به نماد هانمادها حرف هم گفته می‌شود . نماد هانمادها را معمولاً با حروف لاتین کوچک مثل a ، b و ... نشان می‌دهند .
 
* الفبا : یک مجموعه متناهی از نمادها که در یک زبان تعریف شده اند . الفبای زبان توسط Σ نشان داده می‌شود .
 
* رشته : دنباله‌ای از نماد هاینمادهای یک مجموعه الفباست که با عمل الحاق به هم پیوسته اند .
 
رشته ممکن است متناهی یا غیر متناهی باشد . طول یک رشته برابر است با تعداد نمادهایی که رشته را تشکیل می‌دهند . طول رشته را با قدر مطلق آن نمایش می‌دهند . مثلاً :
== دسته‌بندی زبان‌های فرمال ==
 
زبان هایزبان‌های فرمال به چهار دسته تقسیم می‌شوند :
 
* [[زبان‌های منظم]]
 
 
== عملگرهای روی زبان هایزبان‌های فرمال ==
 
زبان مجموعه‌ای از رشته هاست . بنابر این ماهیت زبان هازبان‌ها ، مجموعه است . همه عملگر هایی که روی مجموعه‌ها تعریف شده اند مانند اجتماع ، اشتراک ، متمم ، تفاضل و ... روی زبان هازبان‌ها قابل تعریف هستند .
 
[[الحاق (نظریه ماشین‌ها)|عملگر الحاق]] که روی رشته‌ها تعریف شده است ، روی زبان هازبان‌ها نیز قابل تعریف است .
 
عملگرهای دیگری مانند عمل معکوس سازی ( Reverse ) نیز روی رشته‌های زبان قابل تعریف است .
۲۵٬۵۹۴

ویرایش