ماذا يعني =*> فيما يتعلق بقواعد النحام الخالية من السياق؟

Question

لقد قرأت كتابين/مراجع عبر الإنترنت حول نظرية البرمجيات ، واستمر في رؤية هذا المشغل المعين القادم كل مرة (كما رأينا هنا) ، على وجه التحديد عندما يكون الموضوع الحالي هو القواعد الخالية من السياق. ماذا يعني ذلك؟ كذلك ، كيف تختلف عن =>?

تفسيرات مع أمثلة تميز => من عند =*> سيكون أكثر فائدة.

Answer 1

=> يعني المشتقات في خطوة واحدة بينما =*> مشتق في الصفر أو أكثر ( الإغلاق الانعكاسي الانعكاسي من =>).