Categorial grammars with iterated types form a strict hierarchy of k-valued languages

  • Authors:
  • Denis Béchet;Alexandre Dikovsky;Annie Foret

  • Affiliations:
  • LINA UMR CNRS 6241, Université de Nantes, France;LINA UMR CNRS 6241, Université de Nantes, France;IRISAUniversité de Rennes1, Campus Universitaire de Beaulieu, Avenue du Général Leclerc, 35042 Rennes Cedex, France

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2012

Quantified Score

Hi-index 5.23

Visualization

Abstract

The notion of k-valued categorial grammars in which every word is associated to at most k types is often used in the field of lexicalized grammars as a fruitful constraint for obtaining interesting properties like the existence of learning algorithms. This constraint is reasonable only when the classes of k-valued grammars correspond to a real hierarchy of generated languages. Such a hierarchy has been established earlier for the classical categorial grammars. In this paper the hierarchy by the k-valued constraint is established in the class of categorial grammars extended with iterated types adapted to express the so called projective dependency structures.