6 citations · 12 across the 4 of their papers we have counts for
4 papers
A Descriptive Characterization of Tree-Adjoining Languages (Full Version)
James Rogers
Since the early Sixties and Seventies it has been known that the regular and context-free languages are characterized by definability in the monadic second-order theory of certain…
A Model-Theoretic Framework for Theories of Syntax
James Rogers
A natural next step in the evolution of constraint-based grammar formalisms from rewriting formalisms is to abstract fully away from the details of the grammar mechanism---to expre…
On Descriptive Complexity, Language Complexity, and GB
James Rogers
We introduce , a monadic second-order language for reasoning about trees which characterizes the strongly Context-Free Languages in the sense that a set of finite trees…
Capturing CFLs with Tree Adjoining Grammars
James Rogers
We define a decidable class of TAGs that is strongly equivalent to CFGs and is cubic-time parsable. This class serves to lexicalize CFGs in the same manner as the LCFGs of Schabes…