Towards a Uniform Formal Framework for Parsing (1991)
| Venue: | Current Issues in Parsing Technology |
| Citations: | 46 - 3 self |
BibTeX
@INPROCEEDINGS{Lang91towardsa,
author = {Bernard Lang},
title = {Towards a Uniform Formal Framework for Parsing},
booktitle = {Current Issues in Parsing Technology},
year = {1991},
pages = {153--171},
publisher = {Kluwer Academic Publishers}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Introduction Many of the formalisms used to define the syntax of natural (and programming) languages may be located in a continuum that ranges from propositional Horn logic to full first order Horn logic, possibly with non-Herbrand interpretations. This structural parenthood has been previously remarked: it lead to the development of Prolog [Col-78, Coh-88] and is analyzed in some detail in [PerW-80] for Context-Free languages and Horn Clauses. A notable outcome is the parsing technique known as Earley deduction [PerW-83]. These formalisms play (at least) three roles: descriptive: they give a finite and organized description of the syntactic structure of the language, analytic: they can be used to analyze sentences so as to retrieve a syntactic structure (i.e. a representation) from which the meaning can be extracted, generative: they can also be used as the specification of the concrete representation of sentences from a more
