راجع المقطع اللي تحت وبعد كده جاوب على السؤال بعد كده بنفس اللغة اللي المقطع فيها:  الممر: علشان كده المتحلل لازم يستخدم القاعدة A → w لو ε موجود في Fi(w) ويرى على تدفق الإدخال رمز ممكن يتبع A. لذلك، احنا بردو محتاجين مجموعة متابعة A، مكتوبة على شكل Fo(A) هنا، واللي بتتعرف على أنها مجموعة من الأجهزة النهائية a بحيث يكون هناك سلسلة من الرموز αAaβ واللي ممكن تشتق من رمز البداية. بنستخدم $ كمحطة خاصة بتوضح نهاية تدفق الإدخال و S كرمز بداية.  سؤال: المبلغ $ بيستخدم ليه؟
كمحطة خاصة بتوضح نهاية تدفق المدخلات