Lecture Notes in Computer Science 8036

Transcription

1 Lecture Notes in Computer Science 8036 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler, UK Alfred Kobsa, USA John C. Mitchell, USA Oscar Nierstrasz, Switzerland Bernhard Steffen, Germany Demetri Terzopoulos, USA Gerhard Weikum, Germany Takeo Kanade, USA Jon M. Kleinberg, USA Friedemann Mattern, Switzerland Moni Naor, Israel C. Pandu Rangan, India Madhu Sudan, USA Doug Tygar, USA FoLLI Publications on Logic, Language and Information Subline of Lectures Notes in Computer Science Subline Editors-in-Chief Valentin Goranko, Technical University, Lynbgy, Denmark Erich Grädel, RWTH Aachen University, Germany Michael Moortgat, Utrecht University, The Netherlands Subline Area Editors Nick Bezhanishvili, Imperial College London, UK Anuj Dawar, University of Cambridge, UK Philippe de Groote, Inria-Lorraine, Nancy, France Gerhard Jäger, University of Tübingen, Germany Fenrong Liu, Tsinghua University, Beijing, China Eric Pacuit, Tilburg University, The Netherlands Ruy de Queiroz, Universidade Federal de Pernambuco, Brazil Ram Ramanujam, Institute of Mathematical Sciences, Chennai, India

2 Glyn Morrill Mark-Jan Nederhof (Eds.) Formal Grammar 17th and 18th International Conferences, FG 2012/2013 Opole, Poland, August 2012, Revised Selected Papers Düsseldorf, Germany, August 2013, Proceedings 13

3 Volume Editors Glyn Morrill Universitat Politècnica de Catalunya Departament de Llenguatges i Sistemes Informàtics Jordi Girona Salgado Barcelona, Spain morrill@lsi.upc.edu Mark-Jan Nederhof University of St Andrews School of Computer Science North Haugh St. Andrews KY16 9SX, UK markjan.nederhof@googl .com ISSN e-issn ISBN e-isbn DOI / Springer Heidelberg Dordrecht London New York Library of Congress Control Number: CR Subject Classification (1998): F.4, I.1, I.2.7 LNCS Sublibrary: SL 1 Theoretical Computer Science and General Issues Springer-Verlag Berlin Heidelberg 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (

4 Preface Formal Grammar is a conference dedicated to empirical and theoretical linguistics expressed technically and mathematically. Topics addressed include: Formal and computational phonology, morphology, syntax, semantics and pragmatics Model-theoretic and proof-theoretic methods in linguistics Logical aspects of linguistic structure Constraint-based and resource-sensitive approaches to grammar Learnability of formal grammar Integration of stochastic and symbolic models of grammar Foundational, methodological and architectural issues in grammar and linguistics Mathematical foundations of statistical approaches to linguistic analysis Formal Grammar has been celebrated in Barcelona (1995), Prague (1996), Aixen-Provence (1997), Saarbrücken (1998), Utrecht (1999), Helsinki (2001), Trento (2002), Vienna (2003), Nancy (2004), Edinburgh (2005), Malaga (2006), Dublin (2007), Hamburg (2008), Bordeaux (2009), Copenhagen (2010), Ljubljana (2011), Opole (2012) and Düsseldorf (2013). The present volume collects the papers from the 17th Conference on Formal Grammar held in Opole in 2012 and the 18th Conference on Formal Grammar held in Düsseldorf in Together, these two conferences comprise 18 contributed papers selected from 27 high-quality submissions. In addition, the 2012 meeting featured invited talks by Larry Moss and Reinhard Muskens, and the 2013 meeting featured invited talks by Carl Pollard and Chung-chieh Shan, for which we are most grateful. We would also like to thank the local organizers of ESSLLI 2012 and ESSLLI 2013, with which the conferences were colocated. May 2013 Glyn Morrill Mark-Jan Nederhof

5 Organization Program Committee 2012 Alexander Clark Berthold Crysmann Alexandre Dikovsky Denys Duchier Annie Foret Nissim Francez Laura Kallmeyer Makoto Kanazawa Greg Kobele Valia Kordoni Stefan Müller Gerald Penn Christian Retoré Manfred Sailer Ed Stabler Anders Søgaard Jesse Tseng Royal Holloway University, UK CNRS - LLF, France Université de Nantes, France Université d Orleans, France IRISA - IFSIC, France Technion, Israel University of Düsseldorf, Germany National Institute of Informatics, Japan University of Chicago, USA Universität des Saarlandes, Saarbrücken, Germany Freie Universität Berlin, Germany University of Toronto, Canada Université Bordeaux 1, France Goethe University Frankfurt, Germany UCLA, USA University of Copenhagen, Denmark CNRS - CLLE-ERSS, France Standing Committee 2012 Markus Egg Glyn Morrill Mark-Jan Nederhof Frank Richter Humboldt-Universität Berlin, Germany Universitat Politècnica de Catalunya, Spain University of St Andrews, UK University of Tübingen, Germany Program Committee 2013 Alexander Clark Benoit Crabbé Berthold Crysmann Denys Duchier Annie Foret King s College London, UK Université Paris 7, France CNRS - LLF, France Université d Orleans, France IRISA - IFSIC, France

6 VIII Organization Nissim Francez Laura Kallmeyer Makoto Kanazawa Greg Kobele Valia Kordoni Wolfgang Maier Stefan Müller Gerald Penn Christian Retoré Manfred Sailer Anders Søgaard Ed Stabler Jesse Tseng Technion, Israel University of Düsseldorf, Germany National Institute of Informatics, Japan University of Chicago, USA Humboldt-Universität Berlin, Germany University of Düsseldorf, Germany Freie Universität Berlin, Germany University of Toronto, Canada Université Bordeaux 1, France Goethe University Frankfurt, Germany University of Copenhagen, Denmark UCLA, USA CNRS - CLLE-ERSS, France Standing Committee 2013 Glyn Morrill Mark-Jan Nederhof Rainer Osswald Frank Richter Universitat Politècnica de Catalunya, Spain University of St Andrews, UK Heinrich-Heine-Universität Düsseldorf, Germany University of Tübingen, Germany

7 Table of Contents Formal Grammar 2012 On IO-Copying and Mildly-Context Sensitive Formalisms... 1 Pierre Bourreau, Laura Kallmeyer, and Sylvain Salvati The Distribution and Interpretation of Hausa Subjunctives: An HPSG Approach Berthold Crysmann Memory Resource Allocation in Top-Down Minimalist Parsing Gregory M. Kobele, Sabrina Gerth, and John Hale Parsing Pregroup Grammars with Letter Promotions in Polynomial Time Katarzyna Moroz Towards an HPSG Analysis of Object Shift in Danish Stefan Müller and Bjarne Ørsnes Cognitive and Sub-regular Complexity James Rogers, Jeffrey Heinz, Margaret Fero, Jeremy Hurst, Dakotah Lambert, and Sean Wibel Is Malay Grammar Uniform? A Constraint-Based Analysis Sharifah Raihan Syed Jaafar Completeness of Full Lambek Calculus for Syntactic Concept Lattices Christian Wurm Formal Grammar 2013 On the Expressivity of Optimality Theory versus Ordered Rewrite Rules Brian Buccola Adjectives in a Modern Type-Theoretical Setting Stergios Chatzikyriakidis and Zhaohui Luo Tree Wrapping for Role and Reference Grammar Laura Kallmeyer, Rainer Osswald, and Robert D. Van Valin Jr. The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars Makoto Kanazawa and Sylvain Salvati

8 X Table of Contents On the Complexity of Free Word Orders Jérôme Kirman and Sylvain Salvati Determiner Gapping as Higher-Order Discontinuous Constituency Yusuke Kubota and Robert Levine Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives Stepan Kuznetsov On the Generative Power of Discontinuous Lambek Calculus Alexey Sorokin A Count Invariant for Lambek Calculus with Additives and Bracket Modalities Oriol Valentín, Daniel Serret, and Glyn Morrill Some Higher Order Functions on Binary Relations R. Zuber Author Index