نظریه زبان‌ها: تفاوت میان نسخه‌ها

در [[ریاضیات]]، [[منطق]] و دانش [[رایانه]]، به زبانی که با فرمول‌های دقیق ریاضیاتی و قابل پردازش برای ماشین تعریف شد‌اند، '''زبان‌های فُرمال''' یا '''زبان‌های صوری''' گفته می‌شود.

 

 

 

 

 

 

* الفبا : یک مجموعه متناهی از نمادها که در یک زبان تعریف شده اند . الفبای زبان توسط Σ نشان داده می‌شود .

* رشته : دنباله ای از نماد های یک مجموعه الفباست که با عمل الحاق به هم پیوسته اند .

 

 

اگر w=aabbbbc آنگاه طول رشته ( |w| ) برابر است با هفت . زیرا این رشته با هفت نماد ساخته شده است .

* زبان : مجموعه ای از رشته ها است . این مجموعه می‌تواند متناهی ، نامتناهی شمارا یا نامتناهی ناشمارا باشد .

 

 

 

== دسته‌بندی زبان‌های فرمال ==

 

 

* [[زبان‌های منظم]]