955,793 research outputs found
Capturing CFLs with Tree Adjoining Grammars
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 and Waters but with considerably less restriction on
the form of the grammars. The class provides a normal form for TAGs that
generate local sets in much the same way that regular grammars provide a normal
form for CFGs that generate regular sets.Comment: 8 pages, 3 figures. To appear in proceedings of ACL'9
Characterizations of Super-regularity and its Variants
Convergence of projection-based methods for nonconvex set feasibility
problems has been established for sets with ever weaker regularity assumptions.
What has not kept pace with these developments is analogous results for
convergence of optimization problems with correspondingly weak assumptions on
the value functions. Indeed, one of the earliest classes of nonconvex sets for
which convergence results were obtainable, the class of so-called super-regular
sets introduced by Lewis, Luke and Malick (2009), has no functional
counterpart. In this work, we amend this gap in the theory by establishing the
equivalence between a property slightly stronger than super-regularity, which
we call Clarke super-regularity, and subsmootheness of sets as introduced by
Aussel, Daniilidis and Thibault (2004). The bridge to functions shows that
approximately convex functions studied by Ngai, Luc and Th\'era (2000) are
those which have Clarke super-regular epigraphs. Further classes of regularity
of functions based on the corresponding regularity of their epigraph are also
discussed.Comment: 15 pages, 2 figure
- …