00000nam 2200000zi 4500 9.873043 CaOODSP 20221107163814 m o d f cr |n||||||||| 190515e199003##quca|||#ob f000 0 eng d 0662178084 CaOODSP eng rda CaOODSP n-cn--- Co28-1/48-1990E-PDF Co28-1/48-1990E Dymetman, Marc‏, author. Grammar bidirectionality through controlled backward deduction / Marc Dymetman, Pierre Isabelle. Laval : Canadian Workplace Automation Research Centre, Department of Communications Canada, March 1990. 1 online resource (30 pages) text txt rdacontent computer c rdamedia online resource cr rdacarrier 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. "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. gccst Languages gccst Translation Isabelle, Pierre, author. Canada. Department of Communications. Canadian Workplace Automation Research Centre‏. Bidirectionnalité des grammaires par déduction arrière contrôlée / (CaOODSP)9.873045 PDF 3.06 MB https://publications.gc.ca/collections/collection_2019/isde-ised/co28-1/Co28-1-48-1990-eng.pdf