Abstract:International Journal of Foundations of Computer Science, Ahead of Print. While the closure of a language family [math] under certain language operations is the least family of languages which contains all members of [math] and is closed under all of the operations, a kernel of [math] is a maximal family of languages which is a sub-family of [math] and is closed under all of the operations. Here we investigate properties of kernels of general language families and operations defined thereon as well as kernels of (deterministic) (linear) context-free languages with a focus on Boolean operations. While the closures of language families are unique, this uniqueness is not obvious for kernels. We consider properties of language families and of operations that yield unique and non-unique, i.e. a set, of kernels. For the latter case, the question whether the union of all kernels coincides with the language family, or whether there are languages that do not belong to any kernel is addressed. Additionally, languages that are mandatory for each (Boolean) kernel and languages that are optional for (Boolean) kernels are studied. That is, we consider the intersection of all Boolean kernels as well as their union. The expressive capacities of these families are addressed leading to a hierarchical structure. Further closure properties are considered. Furthermore, we study descriptional complexity aspects of these families, where languages are represented by context-free grammars with proofs attached. It turns out that the size trade-offs between all families in question and deterministic context-free languages are non-recursive. That is, one can choose an arbitrarily large recursive function [math], but the gain in economy of description eventually exceeds [math] when changing from the latter system to the former.

CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages

On the Computation of Distances for Probabilistic Context-Free Grammars

Statistical properties of probabilistic context-sensitive grammars

On the Generative Capacity of Contextual Grammars with Strictly Locally Testable Selection Languages

Grammars with two-sided contexts

Parsing Combinatory Categorial Grammar with Answer Set Programming: Preliminary Report

The hardest language for grammars with context operators

An Empirical Study of Compound PCFGs

Detecting and explaining (in)equivalence of context-free grammars

Learning of Structurally Unambiguous Probabilistic Grammars

Various Types of Comet Languages and their Application in External Contextual Grammars

The Power of Constraint Grammars Revisited

2. Cognitive Grammar

P Systems with 2D Picture Grammars.

Rule-weighted and terminal-weighted context-free grammars have identical expressivity

On Descriptive Complexity, Language Complexity, and GB

Context Specificity of Lemma. Diachronic Analysis.

Non-erasing Chomsky-Sch{ü}tzenberger theorem with grammar-independent alphabet

Kernels of Context-Free Languages

On the Relation between Context-Free Grammars and Parsing Expression Grammars

A Uniform Framework for Problems on Context-Free Grammars