On IO-Copying and Mildly-Context Sensitive Formalisms

Pierre Bourreau (1) , Laura Kallmeyer , Sylvain Salvati (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

The class of mildly context-sensitive languages is commonly regarded as sufficiently rich to capture most aspects of the syntax of natural languages. Many formalisms are known to generate families of languages which belong to this class. Among them are tree-adjoining grammars, multiple context-free grammars and abstract categorial grammars. All these formalisms have in common that they are based on operations which do not copy already derived material in the course of a derivation. We propose an extension of the class of languages captured by these formalisms that is arguably mildly context-sensitive. This extension is based on a mild use of a copying operation we call IO-substitution.

Mots clés: Formal languages; Multiple Context-Free Grammars; IO-substitution

Domaines: Théorie et langage formel [cs.FL]

Pierre Bourreau, Laura Kallmeyer, Sylvain Salvati. On IO-Copying and Mildly-Context Sensitive Formalisms. Formal Grammar 2012, 2012, Opole, Poland. pp.1-16. ⟨hal-00959620⟩