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.

Generalizations of the Muller–Schupp theorem and tree‐like inverse graphs

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

Context-free graphs and their transition groups

Inverse monoids, trees and context-free languages

Translation equivalence in free groups

Subsets of groups with context-free preimages

Context-free pairs of groups I: Context-free pairs and graphs

The generalised word problem in hyperbolic and relatively hyperbolic groups

On subgroups with narrow Schreier graphs

Graph inverse semigroups: their characterization and completion

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Chabauty Limits Of Simple Groups Acting On Trees

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

The uncountable Hadwiger conjecture and characterizations of trees using graphs

Representation theory of the group of automorphisms of a finite rooted tree

Limit trees for free group automorphisms: universality

Complexities of Theories of Profinite Subgroups of $S_ω$ via Tree Presentations

A commutator lemma for confined subgroups and applications to groups acting on rooted trees

Irreducibly represented Lie groups and Nebbia's CCR conjecture on trees

Quantum automorphism groups of trees