ئاماژە بە بڕگەی خوارەوە بکە و دواتر وەڵامی پرسیارەکە بدەرەوە بە هەمان زمانی بڕگەکە:  پەڕاوێز: بۆیە پارسەرەکە دەبێت یاسای A → w بەکاربهێنێت ئەگەر ε لە Fi ((w) بێت و لەسەر ڕەوتی ھێنان نیشانەیەک ببینێت کە دەتوانێت دوای A بێت. لەبەرئەوە، ئێمە پێویستیمان بە کۆمەڵەی Follow-set of A ھەیە، کە بە Fo ((A) دەنووسرێت، کە پێناسە کراوە بە کۆمەڵەی تێرمیناڵەکان a بە جۆرێک کە زنجیرەیەک نیشانە αAaβ هەبێت کە دەکرێت لە نیشانەی دەستپێکەوە وەربگیرێت. ئێمە $ بەکاردەهێنین وەک ترمیناڵێکی تایبەت کە دەردەخات کۆتایی ھاتنی لێشاوەکە و S وەک ھێمای دەستپێک.  پرسیار: $ بۆ چی بەکاردێت؟
وەک دەرگایەکی تایبەت کە ئاماژە بە کۆتایی ڕەوتی هاتووچۆ دەکات