سلام
اگر گرامری LR مستقل از متن است ؟یعنی برای اثبات مستقل از متن بودن میتوان ازLR استفاده کرد؟؟
در مورد اتاماتای پشته ای برای زبان های مستقل از متن معین که دو ویژگی باید داشته باشه اون دو ویژگی چیه؟و کتاب لینز ترجمه صراف زاده صفحه ۲۲۴ نوشته اونو توضیح بدید متوجه نشدم
توی کشیدن اتاماتا‌ها و درکل توی نوشتن قوانین نمیدونم چه موقع باید از یک حالت به حالت بعد رفت ؟
ممنون
به زبان ساده خودمونی این دو شرط اینجوری میشه:
1: اول به ازای هر حرف رشته ورودی و به ازای هر کارکتر بالای پشته از یک وظعیت تنها به یک وظعیت برویم . یعنی مثلا اگر رشته ورودی a باشه و کارکتر بالای پشته هم A باشه و در وضعیت Q1 باشم انگاه تنها یک حرکت بتوانم انجام بدم نه چند حرکت به ازای تابع انتقال.
2- فکر میکنم مشکل شما در شرط دوم باشه شرط دوم بیان میکند که اگر من بتوانم بدون مصرف ورودی و به ازای کارکتر مشخص بالا پشته( مثلا A )حرکت داشته باشم در این صورت نباید به ازای مصرف وردی و با همین کاراکتر بالای پشته حرکتی داشته باشم . مثلا فرض کنید من در وضعیت Q1 هستم و کارکتر وردی هم a هست وبالای پشته هم A دارم حالا اگر من بخوام بدون مصرف وردی و به ازای حرف پشته ایی A حرکت کنم دیگر نباید با ورودی (a)و کارکتر پشته ایی (A) در وضعیت Q1 حرکتی داشته باشم .
چون اگر بتونم دو تا انتخاب داشته باشم این میشود عدم قطعیت .
به همین سادگی.
موفق باشید.
ببخشید این تیکه رو مشه با نوشتن حالت بیشتر توضیح بدید اصل مشکلم همین جاست
مرسی
(اگر من بخوام بدون مصرف وردی و به ازای حرف پشته ایی A حرکت کنم دیگر نباید با ورودی (a)و کارکتر پشته ایی (A) در وضعیت Q1 حرکتی داشته باشم .
)
اگر این سوالم جواب بدید ممنون
توی کشیدن اتاماتا‌ها و درکل توی نوشتن قوانین نمیدونم چه موقع باید از یک حالت به حالت بعد رفت ؟
عنوان رو دیدم خواستم یه چیز بی‌ربط بگم:
اسم مستقل از متن کاملا اشتباه است. در واقع این زبانها مستقل از زمینه هستند نه متن و اتفاقا خیلی هم وابسته به متن هستند. نمیدونم کی اولین بار این ترجمه اشتباه رو رایج کرد.
Context Free یعنی مستقل از زمینه.
یعنی مستقل از متغیرهای موجود در عبارت؟
(01 بهمن 1390 12:03 ق.ظ)fatima1537 نوشته شده توسط: [ -> ]یعنی مستقل از متغیرهای موجود در عبارت؟
این خودش یعنی چی؟
یعنی همون حروف بزرگ الفبای انگلیسی.مثلA,S:
[tex]S\rightarrow aS/A[/tex]
[tex]A \to bAc/\lambda[/tex]