:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Cicala, Daniel
Format:	Preprint
Published:	2020
Subjects:	Category Theory Formal Languages and Automata Theory Social and Information Networks 18B10
Online Access:	https://arxiv.org/abs/2001.09029
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Combinatorial manifolds and Kleene's theorem, homotopically
by: Chamoun, Yorgo
Published: (2026)

Completeness for categories of generalized automata
by: Boccali, Guido, et al.
Published: (2023)

Automata and coalgebras in categories of species
by: Loregian, Fosco
Published: (2024)

Monads and limits in bicategories of circuits
by: Loregian, Fosco
Published: (2025)

Context-Free Languages of String Diagrams
by: Earnshaw, Matt, et al.
Published: (2024)

Topoi of automata I: Four topoi of automata and regular languages
by: Hora, Ryuya
Published: (2024)

Time complexity for deterministic string machines
by: Cataltepe, Ali, et al.
Published: (2024)

A categorical framework for cellular automata
by: Castillo-Ramirez, A., et al.
Published: (2026)

The categorical contours of the Chomsky-Schützenberger representation theorem
by: Melliès, Paul-André, et al.
Published: (2023)

Fibrational Perspectives on Determinization of Finite-State Automata
by: Li, Thea
Published: (2024)

Categorical Foundations of Formalized Condensed Mathematics
by: Asgeirsson, Dagur, et al.
Published: (2024)

A formal characterization of discrete condensed objects
by: Asgeirsson, Dagur
Published: (2024)

Profinite trees, through Lawvere theories and the lambda-calculus
by: Moreau, Vincent
Published: (2024)

A cartesian closed fibration of higher-order regular languages
by: Melliès, Paul-André, et al.
Published: (2026)

Presheaf automata
by: Struth, Georg, et al.
Published: (2024)

Rewriting Systems on Arbitrary Monoids
by: Magalhães, Eduardo
Published: (2026)

Polygraphic resolutions for operated algebras
by: Liu, Zuan, et al.
Published: (2025)

Topological Kleene Field Theories as a model of computation
by: González-Prieto, Ángel, et al.
Published: (2025)

Rauzy dimension and finite-state dimension
by: Becher, Verónica, et al.
Published: (2024)

Multihead Finite-State Compression
by: Lutz, Neil
Published: (2025)

The Agafonov and Schnorr-Stimm theorems for probabilistic automata
by: Bienvenu, Laurent, et al.
Published: (2025)

LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
by: Xu, Rongge, et al.
Published: (2025)

Measuring Grammatical Diversity from Small Corpora: Derivational Entropy Rates, Mean Length of Utterances, and Annotation Invariance
by: Martin, Fermin Moscoso del Prado
Published: (2024)

Multi-Head Finite-State Dimension
by: Huang, Xiang, et al.
Published: (2025)

One Adaptive Trailing Head Can Outperform Many Oblivious Trailing Heads
by: Cruz, Julianne, et al.
Published: (2026)

Structural Reductions and Stutter Sensitive Properties
by: Paviot-Adet, Emmanuel, et al.
Published: (2022)

Structural Abstraction and Refinement for Probabilistic Programs
by: Li, Guanyan, et al.
Published: (2025)

Iterating Non-Aggregative Structure Compositions
by: Bozga, Marius, et al.
Published: (2025)

Counting Abstraction for the Verification of Structured Parameterized Networks
by: Bozga, Marius, et al.
Published: (2025)

Do CFLOBDDs Actually Make Use of Linear Structure?
by: Sistla, Meghana Aparna, et al.
Published: (2026)

A Characterization of Turing Machines that Compute Primitive Recursive Functions
by: Schwartz, Daniel G.
Published: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
by: Mazowiecki, Filip, et al.
Published: (2025)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
by: Hausmann, Daniel, et al.
Published: (2024)

Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
by: Stan, Daniel, et al.
Published: (2026)

Refl-Spanners: A Purely Regular Approach to Non-Regular Core Spanners
by: Schmid, Markus L., et al.
Published: (2020)

The computational inevitability of life: self-replication under resource-bounded nested algorithmic probability
by: Sarkar, Aritra
Published: (2020)

Visibly Pushdown Languages in Groups
by: Ciobanu, Laura, et al.
Published: (2026)

A Diamond Structure in the Transducer Hierarchy
by: Kaufmann, Noah
Published: (2021)

It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
by: Basin, David, et al.
Published: (2025)

Automata Size Reduction by Procedure Finding
by: Šedý, Michal, et al.
Published: (2024)