Home
Schedule Grid
Time Table
All courses
Week one
Week two
Language and Logic
Language and Computation
Logic and Computation
ESSLLI workshops
Evening lectures
ESSLLI Student Session
FoLLI General Meeting/Beth Dissertation Award
People involved

Language and Logic advanced course:
Advances in Abstract Categorial Grammars: Language theory and linguistic modeling.

Teachers

Course material: esslli-acg-week-2.pdf

External page

Abstract:

The abstract categorial grammar (ACG) (de Groote 2001), a grammar formalism based on the typed lambda calculus, elegantly generalizes and unifies a variety of grammar formalisms that have been proposed for the description of formal and natural languages. The first part of this course investigates formal-language-theoretic properties of "second-order" ACGs, a subclass of ACGs that have "context-free" derivations. Their generative capacity is precisely characterized, and an efficient Earley-style algorithm is presented. The second part of the course turns to linguistic applications of ACGs and gives various illustrations of how ACGs provide flexible and explicit ways to model the syntax-semantics interface of natural language.