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