The Descriptive Complexity Approach to LOGCFL

The Descriptive Complexity Approach to LOGCFL

Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclasses of LOGCFL arising from varying the arity and nesting of groupoidal quantifiers. Our work extends the elaborate theory relating monoidal quantifiers to NC and its subclasses. In the absence of the BIT predicate, we reso...

Descriptive Complexity: A Logicians Approach to Computation

structures, North Holland, 1974. [19] S. Patnaik and N. Immerman, Dyn-FO: A parallel, dynamic complexity class, ACM Symp. Principles Database Systems (1994), 210–221. [20] W. J. Savitch, Relationships between nondeterministic and deterministic tape complexities, J. Comput. System Sci. 4 (1970), 177–192. [21] R. Szelepcsenyi, The method of forced enumeration for nondeterministic automata, Acta I...

A Descriptive Approach to Language-Theoretic Complexity

This interesting and original work applies descriptive complexity theory to the study of natural languages. The first part of the book (64 pages) characterizes the strong generative capacity of context-free grammars in logical terms. The second part (122 pages) discusses the generative capacity of government and binding (GB) theories. The book deserves the close attention of computational lingu...

Draft a Descriptive Approach to Language-theoretic Complexity

from linguistics to literature: a linguistic approach to the study of linguistic deviations in the turkish divan of shahriar

chapter i provides an overview of structural linguistics and touches upon the saussurean dichotomies with the final goal of exploring their relevance to the stylistic studies of literature. to provide evidence for the singificance of the study, chapter ii deals with the controversial issue of linguistics and literature, and presents opposing views which, at the same time, have been central to t...