sentence1: of such an extension , we present a complete , correct , terminating extension of earley ' s algorithm that uses restriction .
sentence2: in section 4 , we develop a correct , complete and terminating extension of earley 's algorithm for the patr-ii formalism using the restriction notion .