Guillaume2024:
  type: article
  title: 'ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars'
  author:
  - Guillaume, Maxime
  - Pogodalla, Sylvain
  - Tourneur, Vincent
  date: 2024
  page-range: 13-30
  url: https://doi.org/10.1007/978-981-97-2300-3_2
  serial-number:
    doi: 10.1007/978-981-97-2300-3_2
    isbn: 978-981-97-2299-0
  abstract: Abstract categorial grammars (ACGs) is an expressive grammatical framework whose formal properties have been extensively studied. While it can provide its own account, as a grammar, of linguistic phenomena, it is known to encode several grammatical formalisms, including context-free grammars, but also mildly context-sensitive formalisms such as tree-adjoining grammars or m-linear context-free rewriting systems for which parsing is polynomial. The ACG toolkit we present provides a compiler, acgc, that checks and turns ACGs into representations that are suitable for testing and parsing, used in the acg interpreter. We illustrate these functionalities and discuss implementation features, in particular the Datalog reduction on which parsing is based, and the magic set rewriting techniques that can further be applied.
  parent:
    type: proceedings
    title: 'Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings'
    publisher:
      name: Springer-Verlag
      location: Kumamoto, Japan