Parsing as Deduction

Abstract

By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained that 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1983
Accession Number
ADA460960

Entities

People

  • David H. Warren
  • Fernando C. Pereira

Organizations

  • SRI International

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • Classification
  • Computational Linguistics
  • Contracts
  • Efficiency
  • Information Operations
  • Instructions
  • Linguistics
  • Monitoring
  • Security
  • Standards

Readers

  • Business Analytics
  • Computational Linguistics