Loading...
Loading...

Go to the content (press return)

Multiplicative-additive focusing for parsing as deduction

Author
Morrill, G.; Valentin Fernandez, J.
Type of activity
Presentation of work at congresses
Name of edition
First International Workshop on Focusing
Date of publication
2015
Presentation's date
2015-11
Book of congress proceedings
Proceedings First International Workshop on Focusing: Suva, Fiji, 23rd November 2015
First page
29
Last page
54
Publisher
Electronic Proceedings in Theoretical Computer Science (EPTCS)
DOI
https://doi.org/10.4204/EPTCS.197.4 Open in new window
Repository
http://hdl.handle.net/2117/82769 Open in new window
URL
http://eptcs.web.cse.unsw.edu.au/paper.cgi?WoF15.4 Open in new window
Abstract
Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem depends on identifying the essential mathematical structure of derivations. This is trivial in the case of context free grammar, where the parse structures are ordered trees; in the case of type logical categorial grammar, the parse structures are proof nets. However, with res...
Citation
Morrill, G., Valentín, O. Multiplicative-additive focusing for parsing as deduction. A: International Workshop on Focusing. "Proceedings First International Workshop on Focusing: Suva, Fiji, 23rd November 2015". Suva: Electronic Proceedings in Theoretical Computer Science (EPTCS), 2015, p. 29-54.
Group of research
LARCA - Laboratory of Relational Algorithmics, Complexity and Learnability

Participants

  • Morrill, Glyn Verden  (author and speaker )
  • Valentin Fernandez Gallart, Jose Oriol  (author and speaker )

Attachments