نام پژوهشگر: محمد حسین بحرالعلومی

ارایه یک تجزیه کننده غیرمتعارف جدید : پارسر حذفی قطعی با شاکله بازگشتی پیشگو
پایان نامه وزارت علوم، تحقیقات و فناوری - دانشگاه پیام نور - دانشگاه پیام نور استان تهران - دانشکده علوم پایه 1390
  محمد حسین بحرالعلومی   رضا عسکری مقدم

دو چالش عمده در طراحی پارسرها عبارتند از گستره پذیرش گرامرها یا قدرت پذیرش و دیگری سرعت فرآیند تجزیه رشته ها. یک شیوه شهودی و منطبق بر نحوه پردازش انسانی از رشته ها ، شیوه ای است که درخت تجزیه را از ریشه بسوی برگ ها و از بالا به پایین می سازد. وجود انواع بازگشتی های چپ در گرامرها به همراه وجود قواعد تهی بر قدرت پذیرش این تجزیه کننده ها اثر گذاشته و آنها را محدود می کنند. در روش های محض عموما تنها روش مقابله با این معضلات تغییر گرامر و تبدیل آن به گرامری معادل اما بدون معضلات بالاست. چالش دیگر مساله سرعت فرآیند تجزیه است. چنانچه پارسرها قدرت پیشگویی نمادهای بعدی ورودی را داشته باشند آنگاه امکان پذیرش رشته ورودی در زمان خطی برای آنها فراهم می گردد. یک مساله بسیار مهم دیگر نحوه ادغام تکنیک های بهبود دهنده سرعت پارسر با تکنیک های افزایش دهنده قدرت آن است. تلفیق این تکنیک ها اولین گام برای معرفی پارسرهای تلفیقی است. پارسر پیشنهادی در پژوهش حاضر یک پارسر تلفیقی است که در هر 2 حیطه قدرت پذیرش و سرعت فرآیند تجزیه ، تکنیک هایی را معرفی می کند. هدف اصلی این پارسر پذیرش در زمان خطی است بنابراین باید از ساز و کار پیشگویی نماد ورودی به بهترین نحو استفاده شود. برای پیاده سازی این ساز و کار از تکنیک های بازگشتی پیشگو استفاده خواهد شد. چالش عمده در این پارسر جلوگیری از کاهش چشمگیر قدرت پذیرش پارسر ، ناشی از طراحی آن بصورت قطعی است. یک معضل دیگر فایق آمدن بر محدودیت های عمومی پارسرهای محض بالا به پایین مانند بازگشتی چپ است. برای این منظور پارسر پیشنهادی از تکنیک حذفی بهره خواهد برد . استفاده از ساز و کار حذفی یک سطح جدید از توانایی پیشگویی را به پارسر می افزاید. در این سطح پارسر می تواند در هر مرحله از تجزیه پتانسیل افتادن در حلقه فراخوانی های نامتناهی را کشف و از وقوع آن جلوگیری کند. این پارسر یک تجزیه کننده حذفی قطعی است که کار پردازش رشته را به صورت بازگشتی کاهشی انجام می دهد