Abstract:We develop fibrational perspectives on context-free grammars and on finite state automata over categories and operads. A generalized CFG is a functor from a free colored operad (= multicategory) generated by a pointed finite species into an arbitrary base operad: this encompasses classical CFGs by taking the base to be a certain operad constructed from a free monoid, as an instance of a more general construction of an operad of spliced arrows $\mathcal{W}\,\mathcal{C}$ for any category $\mathcal{C}$. A generalized NDFA is a functor satisfying the unique lifting of factorizations and finite fiber properties, from an arbitrary bipointed category or pointed operad: this encompasses classical word automata and tree automata without $\epsilon$-transitions, but also automata over non-free categories and operads. We show that generalized context-free and regular languages satisfy suitable generalizations of many of the usual closure properties, and in particular we give a simple conceptual proof that context-free languages are closed under intersection with regular languages. Finally, we observe that the splicing functor $\mathcal{W} : Cat \to Oper$ admits a left adjoint $\mathcal{C} : Oper \to Cat$, which we call the contour category construction since the arrows of $\mathcal{C}\,\mathcal{O}$ have a geometric interpretation as oriented contours of operations of $\mathcal{O}$. A direct consequence of the contour / splicing adjunction is that every pointed finite species induces a universal CFG generating a language of tree contour words. This leads us to a generalization of the Chomsky-Schützenberger Representation Theorem, establishing that a subset of a homset $L \subseteq \mathcal{C}(A,B)$ is a CFL of arrows iff it is a functorial image of the intersection of a $\mathcal{C}$-chromatic tree contour language with a regular language.

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

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

Classifying Syntactic Regularities for Hundreds of Languages

How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars

Tree-Verifiable Graph Grammars

Multiple context-free tree grammars: Lexicalization and characterization

Characterizations of Controlled Generation of Right Linear Grammars with Unknown Behaviors

Regular Grammars for Graph Sets of Tree-Width $\leq2$

On Descriptive Complexity, Language Complexity, and GB

Convergence and Diversity in the Control Hierarchy

From Regular to Strictly Locally Testable Languages

Tree Automata and Tree Grammars

RESTRICTING THE WEAK-GENERATIVE CAPACITY OF SYNCHRONOUS TREE-ADJOINING GRAMMARS

The Power of Constraint Grammars Revisited

Restricted Global Grammar Constraints

Anti-Context-Free languages

The categorical contours of the Chomsky-Schützenberger representation theorem

Rigid stabilizers and local prosolubility for boundary-transitive actions on trees

State Grammars with Stores

Generalizing input-driven languages: theoretical and practical benefits

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology