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 | Canada. Department of Communications. Canadian Workplace Automation Research Centre. |
|---|---|
| Title | Grammar bidirectionality through controlled backward deduction / Marc Dymetman, Pierre Isabelle. |
| Publication type | Monograph |
| Language | [English] |
| Other language editions | [French] |
| Format | Electronic |
| Electronic document | |
| Note(s) | Issued also in French under title: Bidirectionnalité des grammaires par déduction arrière contrôlée. Digitized edition from print [produced by Innovation, Science and Economic Development Canada]. Includes bibliographical references. |
| Publishing information | Laval : Canadian Workplace Automation Research Centre, Department of Communications Canada, March 1990. |
| Author / Contributor | Dymetman, Marc, author. Isabelle, Pierre, author. |
| Description | 1 online resource (30 pages) |
| Catalogue number |
|
| Subject terms | Languages Translation |