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