. متن داده‌شده را خلاصه کن

متن: نمادهای پایانی نمادهایی هستند که می‌توانند در ورودی یا خروجی قوانین تولید دستور زبان رسمی ظاهر شوند و با استفاده از قواعد دستور زبان تغییر نمی‌کنند. دستور زبان تعریف‌شده توسط دو قانون زیر را در نظر بگیرید: x می‌تواند xa باشد. x می‌تواند a باشد. در اینجا a یک نماد پایانی است، زیرا هیچ قانونی وجود ندارد که آن را به چیز دیگری تغییر دهید. (از سوی دیگر، x دارای دو قانون است که می‌تواند آن را تغییر دهد، بنابراین غیر پایانی می‌باشد.) یک‌زبان رسمی با یک دستور زبان خاص که مجموعه‌ای از رشته‌هاست که می‌تواند توسط دستور زبان تولید شده و تنها شامل نمادهای پایانی است، تعریف می‌گردد. نمادهای غیر پایانی آن نمادهای است که می‌توانند جایگزین شوند. آن‌ها همچنین ممکن است با نام متغیرهای ساده نحوی خوانده شوند. گرامر رسمی شامل یک نماد شروع است. این نماد خود از اعضای مجموعه نمادهای غیر پایانی است که از آن می‌توان تمامی رشته‌های ممکن در زبان را مشتق کرد. در واقع، زبان‌های تعریف‌شده توسط گرامر مجموعه‌ای از رشته‌های نمادهای پایانی است که از می‌توانند مشتق شوند. گرامرهای مستقل از متن گرامرهایی هستند که در آن سمت چپ هر قانون تولید می‌توان تنها یک نماد غیر پایانی قرار داد. همه زبان‌ها را نمی‌توان توسط گرامرهای مستقل از متن تولید کرد. گرامرهای مستقل از متن گرامرهایی هستند که توسط یک ماشین پشته‌ای غیر قطعی قابل‌تشخیص باشند. زبان‌های مستقل از متن پایه و اساس بسیاری از زبان‌های برنامه‌نویسی امروزی‌اند. یک گرامر که توسط قوانین تولید که جایگزین‌های نمادهای غیر پایانی مختلف را مشخص می‌کنند، تعریف می‌شود. این قوانین می‌توانند برای تولید رشته‌ها یا تجزیه آن‌ها مورد استفاده قرار بگیرند. هر یک از این قوانین دارای یک سر یا سمت چپ هستند، یک‌رشته که جایگزین، بدنه یا سمت راست نامیده می‌شود تشکیل می‌شود. قوانین اغلب به صورت head → body نوشته‌شده است، به عنوان مثال، قانون z ۰ → z ۱ مشخص می‌کند که z ۰ می‌تواند توسط z ۱ جایگزین شود. در رسمی سازی کلاسیک از دستور زبان مولد که اولین بار توسط نوام چامسکی در دهه ۵۰ پیشنهاد شد، گرامر g شامل اجزای زیر است: مجموعه متناهی که شامل نمادهای غیر پایانی است. مجموعه متناهی که شامل نمادهای پایانی است و باید از مجزا باشد. مجموعه متناهی که شامل قواعد تولید است. هر قاعده تولید به شکل …
خلاصه:
در علوم کامپیوتر ، نمادهای پایانی و غیر پایانی عناصر واژگانی مورد استفاده در تعیین قواعد تولید ایجاد یک دستور زبان رسمی است . نمادهای پایانی نویسه‌های ابتدایی از زبان تعریف شده توسط دستور زبان رسمی هستند و نمادهای غیر پایانی (یا متغیرهای نحوی) با گروهی از نمادهای پایانی با توجه به قوانین تولید جایگزین شده است . نمادهای پایانی و غیر پایانی دو مجموعه مجزا هستند .