تالار گفتمان مانشت

نسخه‌ی کامل: دو گزاره درموردطول پشته ی pdaها
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
سلام

درستی گزاره های زیر رو میخواستم:
1-اگر یک pda برای هرورودی کمتر از n حرف در پشته اش push کند آنگاه زبانی که میپذیرد منظم است.
2-اگر یک pda برای هرورودی بطول n کمتر از n حرف در پشته اش push کند آنگاه زبانی که میپذیرد منظم است.
سلام.
در مورد سوال 1 اگه منظورتون اینه که از یه حافظه محدود و مستقل از طول رشته استفاده کنیم زبان منظم میشه.
سوال 2 منظم نیست.
(07 بهمن 1393 01:10 ق.ظ)Jooybari نوشته شده توسط: [ -> ]سلام.
در مورد سوال ۱ اگه منظورتون اینه که از یه حافظه محدود و مستقل از طول رشته استفاده کنیم زبان منظم میشه.
سوال ۲ منظم نیست.

چطور می شه اثیات کرد که سوال 2 منظم نیست؟
سلام ببخشید البته خود اساتید هستند ولی چون قبلا این سوالو دیدم گفتم مثالشم خدمتتون بگم

توی علوم کامپیوتر 90 یه سوال اومده درستی یا نادرستی 4 تا عبارت رو خواسته که یکی از گزینه ها این هستش:

اگر یک [tex]PDA[/tex] برای هر ورودی به طول [tex]n[/tex]، کمتر از [tex]n[/tex] حرف در پشته اش [tex]Push[/tex] کند، ان گاه زبانی که میپذیرد منظم است.
میگیم اشتباهه. چون زبانی مثل [tex]L=\{a^pb^pcca^mb^k|p,m,k>=0\}[/tex] که نامنظم و مستقل از متن هستش برای هر ورودی به طول [tex]n[/tex]، نیازی نداره که [tex]n[/tex] حرف رو تو پشته [tex]Push[/tex] کنه
سوال گفته کمتر از n حرف که طول رشتست رو پوش کنه. اگه این مقدار وابسته به n نباشه منظمه. ولی اگه به n وابسته باشه مثلاً n/2 یا n/5 یا هر مقدار دیگه مستقل از متن میشه.
لینک مرجع