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.

Anti-Context-Free languages

Semilinearity and Context-Freeness of Languages Accepted by Valence Automata

Kernels of Context-Free Languages

On Some Complexity Results for Even Linear Languages

On some representations of context-free languages

On Even Linear Indexed Languages with a Reduction to the Learning of Context-Free Languages

Multiple context-free tree grammars: Lexicalization and characterization

The hardest language for grammars with context operators

Context-Free Languages of String Diagrams

Strictly Locally Testable and Resources Restricted Control Languages in Tree-Controlled Grammars

The Dissecting Power of Regular Languages

The Complexity of Chinese Syntactic Dependency Networks

How Do Local Syntactic Structures Influence Global Properties in Language Networks?

Inverse monoids, trees and context-free languages

Dependency Length Minimization: Puzzles and Promises.

Directed Regular and Context-Free Languages

What Role Does Syntax Play in a Language Network?

Program Equivalence in Linear Contexts

Unifying Linearity and Dependency Analyses

Normal Forms for Elements of ${}^*$-Continuous Kleene Algebras Representing the Context-Free Languages

Generalizations of the Muller-Schupp theorem and tree-like inverse graphs