درس نظریه زبانها و ماشین ها

[ted mosby]

سلام دوستان.من یه سوال داشتم از مبحث گرامر ها.وقتی میگیم گرامر G مساویست با
G=(V,T,S,P(
این V وT و Sدقیقا چی هستند؟

[Mohammad.Jafar]

V-مجموعه ای متناهی و ناتهی از غیر پایانه ها است که معمولاً برای نمایش آن از حروف بزرگ انگلیسی استفاده می گردد.
T-مجموعه ای متناهی و نا تهی از حروف الفبایی (پایانه) است که ∅=V∩T لذا برای نمایش عناصر T معمولاً از حروف کوچک الفبای انگلیسی استفاده می شود.
در مورد S که با حرف بزرگ باید نوشته شود و در رابطه S∈V صدق می کند هم باید گفت که یک غیر پایانه شروع گرامر است.
P هم مجموعه قواعد تولید (جایگزینی) است که هر عنصر آن به فرم α→β است به طوریکه:*(α,βϵ(V∪T

[ted mosby]

ممنون دوست عزیز از پاسختون!

اما مشکل من اینه که اصلا نمی فهمم همین غیر پایانه یعنی چی؟؟
پایانه یعنی چی؟؟؟؟؟
حالا اگه تونستم یکی از مثالای جزومو میذارم تا دقیقا مشکلمو بگم.

[abbas.m.k]

خب پایانی ها از اسمشون مشخص هست پایان دهنده هستند معمولا با حروف کوچک نوشته می شن مثل a
در واقع با دیدن یه پایانی در فرمول میه همون رو گذاشت در نتیجه
اما غیر پایانی ها که با حروف بزگ نوشته میشن مثل S B اینها هم میتونن در سمت راست فرمول و هم در سمت چپ فرمول بیان و برای ایجاد رشته میشه در سمت راست اونو با پیز دیگه که در قواعد زبان هست چایگزین کرد

[Mohammad.Jafar]

می خواستم توضیح بدم ولی فکر کردم که مفهوم پایانه و غیر پایانه را می دانید
به هر حال پرسیدن عیب نیست
غیر پایانه به حرفی می گویند که باید آن را با دستور یا دستورهایی که برای آن حرف در گرامر ذکر شده جایگزین کرد کرد یا بهتره اینطور توضیح بدهم که غیر پایانه ها راه را برای گسترش عبارتی که به آن رسیده ایم باز می گذارند.
پایانه ولی حرفی است که دیگر تمام شده است و در مراحل بعدی (اگر مرحله بعدی وجود داشته باشد) به هیچ وجه نمی توان آن را با چیز دیگری جایگزین کرد
مثلاً خود حرف S هم یک غیر پایانه است که دستور یا دستوراتی برای جایگزینی آن ذکر می شود
مثلاً
S->A|Ab|bA
که S می تواند به 3 حالت ادامه پیدا کند
اگر بخواهیم با دید برنامه نویسی به قضیه نگاه کنیم "غیر پایانه ها" مانند "توابع بازگشتی" هستند و "پایانه ها" مانند "توابع معمولی" هستند
البته دوست عزیزمان abbas.m.k, مبحث قرار گرفتن غیر پایانه در چپ و راست را باز کردند که در ادامه مطالب درسیتان خواهد آمد و مربوط به گرامر های خطی می شود

[ted mosby]

واقعا ممنون از توضیحات abbas.m.k و mohammad.jafar

دست گلتون درد نکنه.