Parsing As Deduction
by Pereira, Fernando C. N. and Warren, David H. D.
Technical Note 295
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave., Menlo Park, CA 94025
Jun 1983.
By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses. The efficiency of this approach for an interesting class of grammars is discussed.
![]() Adobe PDF |
![]() BibTeX |
![]() EndNote |