Grammar bidirectionality through controlled backward deduction / Marc Dymetman, Pierre Isabelle.: Co28-1/48-1990E-PDF
"Grammars can be seen as logical theories, and parsers as special purpose theorem provers for these theories. Generators can and should be viewed in the same way. We present an approach in which the same goal-oriented theorem prover is used for parsing and generation. Grammar rules (ie axioms of the theory) are annotated with control directives addressed to the parsing mode or to the generation mode. This ensures a strict declarative equivalence of the two modes, as well as linguistic perspicuity, while allowing the linguist to specify processing behaviour in both modes with some flexibility. Such flexibility turns out to be highly valuable, considering our practical aims: building a bidirectional English-French translation system capable of handling real texts in a limited domain"--Abstract.
Permanent link to this Catalogue record:
publications.gc.ca/pub?id=9.873043&sl=0
| Department/Agency |
|
|---|---|
| Title | Grammar bidirectionality through controlled backward deduction / Marc Dymetman, Pierre Isabelle. |
| Publication type | Monograph |
| Language | [English] |
| Other language editions | [French] |
| Format | Digital text |
| Electronic document | |
| Note(s) |
|
| Publishing information |
|
| Author / Contributor |
|
| Description | 1 online resource (30 pages) |
| Catalogue number |
|
| Subject terms |
Request alternate formats
To request an alternate format of a publication, complete the Government of Canada Publications email form. Use the form’s “question or comment” field to specify the requested publication.Page details
- Date modified: