Show simple item record

Files in this item

Thumbnail
Name:
Nederhof_2016_AShortProof_ACL_AAM.pdf
Size:
241.2Kb
Format:
PDF
View/Open

A short proof that O2 is an MCFL

Item metadata

dc.contributor.authorNederhof, Mark Jan
dc.date.accessioned2016-08-06T23:31:35Z
dc.date.available2016-08-06T23:31:35Z
dc.date.issued2016-08-07
dc.identifier.citationNederhof , M J 2016 , A short proof that O 2 is an MCFL . in 54th Annual meeting of the Association for Computational Linguistics : Proceedings of the Conference . Association for Computational Linguistics , Berlin , 54th Annual meeting of the Association for Computational Linguistics , Berlin , Germany , 7/08/16 .en
dc.identifier.citationconferenceen
dc.identifier.otherPURE: 243243685
dc.identifier.otherPURE UUID: fe9b625c-d10e-45a7-8ee6-a25dd3fa04c8
dc.identifier.otherORCID: /0000-0002-1845-6829/work/46002722
dc.identifier.otherScopus: 85011930977
dc.identifier.urihttps://hdl.handle.net/10023/9268
dc.description.abstractWe present a new proof that O2 is a multiple context-free language. It contrasts with a recent proof by Salvati (2015) in its avoidance of concepts that seem specific to two-dimensional geometry, such as the complex exponential function. Our simple proof creates realistic prospects of widening the results to higher dimensions. This finding is of central importance to the relation between extreme free word order and classes of grammars used to describe the syntax of natural language.
dc.format.extent10
dc.language.isoeng
dc.publisherAssociation for Computational Linguistics
dc.relation.ispartof54th Annual meeting of the Association for Computational Linguisticsen
dc.rights© 2016, the Author(s). This work is made available online in accordance with the publisher’s policies. This is the author created, accepted version manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at http://aclweb.org/anthology/en
dc.subjectComputational linguisticsen
dc.subjectFormal language theoryen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectP Language and Literatureen
dc.subjectComputational Theory and Mathematicsen
dc.subjectLinguistics and Languageen
dc.subjectNDASen
dc.subject.lccQA75en
dc.subject.lccPen
dc.titleA short proof that O2 is an MCFLen
dc.typeConference itemen
dc.description.versionPostprinten
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.date.embargoedUntil2016-08-07


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.