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

۲۷ بایت اضافه‌شده ،  ۶ سال پیش
جز
ربات:افزودن الگو ناوباکس {{منطق}}+املا (۹.۱)
(Kirjoitusvirhe korjattu)
برچسب‌ها: ویرایش با تلفن همراه ویرایش با نرم‌افزار تلفن همراه نیازمند بازبینی
جز (ربات:افزودن الگو ناوباکس {{منطق}}+املا (۹.۱))
 
== تعاریف پایه ==
 
* [[نماد]] : کوچک‌ترین و بنیادی‌ترین عضو یک زبان است . برخی مواقع به نمادها حرف هم گفته می‌شود . نمادها را معمولاً با حروف لاتین کوچک مثل a ، b و ... نشان می‌دهند .
* الفبا : یک مجموعه متناهی از نمادها که در یک زبان تعریف شده اندشده‌اند . الفبای زبان توسط Σ نشان داده می‌شود .
 
* رشته : دنباله‌ای از نمادهای یک مجموعه الفباست که با عمل الحاق به هم پیوسته اندپیوسته‌اند .
* الفبا : یک مجموعه متناهی از نمادها که در یک زبان تعریف شده اند . الفبای زبان توسط Σ نشان داده می‌شود .
 
* رشته : دنباله‌ای از نمادهای یک مجموعه الفباست که با عمل الحاق به هم پیوسته اند .
 
رشته ممکن است متناهی یا غیر متناهی باشد . طول یک رشته برابر است با تعداد نمادهایی که رشته را تشکیل می‌دهند . طول رشته را با قدر مطلق آن نمایش می‌دهند . مثلاً :
 
اگر w=aabbbbc آنگاه طول رشته ( |w| ) برابر است با هفت . زیرا این رشته با هفت نماد ساخته شده است .
 
* زبان : مجموعه‌ای از رشته‌ها است . این مجموعه می‌تواند متناهی، نامتناهی شمارا یا نامتناهی ناشمارا باشد .
 
 
زبان‌های فرمال به چهار دسته تقسیم می‌شوند :
 
* [[زبان‌های منظم]]
* [[زبان‌های مستقل از متن]]
== پانوشته‌ها ==
 
<References />
 
== منابع ==
{{پانویس}}
 
An Introduction to Formal Languages and Automata، Peter Linz
* 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]
{{پایان چپ‌چین}}
{{منطق}}
 
[[رده:زبان‌های صوری]]
[[رده:علوم نظری رایانه]]
۵۷۷٬۴۵۰

ویرایش