نام (NAME)

ml-burg - مولد تجزیه‌کننده درخت برای Standard ML

خلاصه دستور (SYNOPSIS)

ml-burg فایل

توضیحات (DESCRIPTION)

برنامه ml-burg یک برنامه Standard ML تولید می‌کند تا بازنویسی پایین‌به‌بالا (bottom-up) یک درخت ورودی را انجام دهد. اطلاعات هزینه مرتبط با هر قاعده بازنویسی برای به دست آوردن حداقل هزینه بازنویسی کل درخت استفاده می‌شود. یک کاهش (reduction) موفق، متناظر با بازنویسی درخت ورودی به یک نشانه ناپایانی ویژه به نام نشانه ناپایانی آغازین (start non-terminal) است. پس از کاهش موفقیت‌آمیز، امکاناتی برای پیمایش درخت و صدور کنش‌های معنایی متناظر با قواعد تطبیق‌یافته فراهم می‌شود.

نویسندگان (AUTHORS)

برنامه ML-Burg توسط Lal George و Florent Guillaume نوشته شده است.

همچنین ببینید (SEE ALSO)

sml(1)

ML-Burg — Documentation نوشته Lal George و Florent Guillaume (موجود در مستندات SML/NJ).

کپی‌رایت و تکثیر (COPYING)

این نرم‌افزار آزاد است؛ برای شرایط بازتولید به کد منبع مراجعه کنید. هیچ ضمانتی وجود ندارد؛ حتی برای بازاریابی یا تناسب با یک هدف خاص.