works on
definitional inversion 1dependent type theory 1domain theory 1injectivity 1non-normalising systems 1

From the 1 of 6 linked papers with an AI index.

collaborators
Showing math.CTShow all

1 paper · 1 filter

math.CT2025

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

Paul-André Melliès, Noam Zeilberger

We develop fibrational perspectives on context-free grammars and on nondeterministic finite-state automata over categories and operads. A generalized CFG is a functor from a free c…