The algorithm in pseudocode is as follows: let the input be a string I consisting of n characters: a1 ... an. let the grammar contain r nonterminal symbols R1 ...
در نهایت اگر متغیر ابتدایی را در مجموعه متغیرهای جمله پایانی یافت نتیجه می‌گیرد که جمله توسط گرامر تولید شده‌است. let the input be a string S consisting of n characters: a۱... an. let the grammar contain r nonterminal symbols R۱...