Buchumschlag

Time complexity for deterministic string machines

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Cataltepe, Ali, Kosoy, Vanessa
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Formal Languages and Automata Theory Computational Complexity Category Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On the complexity of computing Strahler numbers
von: Ganardi, Moses, et al.
Veröffentlicht: (2025)

Automata and coalgebras in categories of species
von: Loregian, Fosco
Veröffentlicht: (2024)

Context-Free Languages of String Diagrams
von: Earnshaw, Matt, et al.
Veröffentlicht: (2024)

Combinatorial manifolds and Kleene's theorem, homotopically
von: Chamoun, Yorgo
Veröffentlicht: (2026)

Completeness for categories of generalized automata
von: Boccali, Guido, et al.
Veröffentlicht: (2023)

Monads and limits in bicategories of circuits
von: Loregian, Fosco
Veröffentlicht: (2025)

Entropy of pebble automata and space complexity
von: Montoya, J. Andres
Veröffentlicht: (2026)

Studying homing and synchronizing sequences for Timed Finite State Machines with output delays
von: Vinarskii, Evgenii, et al.
Veröffentlicht: (2025)

Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters
von: Yamakami, Tomoyuki
Veröffentlicht: (2024)

Complexity Aspects of the Extension of Wagner's Hierarchy to $k$-Partitions
von: Podolskii, Vladimir, et al.
Veröffentlicht: (2024)

Regular Expressions with Backreferences and Lookaheads Capture NLOG
von: Uezato, Yuya
Veröffentlicht: (2024)

Maximal Length Cellular Automata : A Survey
von: Adak, Sumit, et al.
Veröffentlicht: (2024)

Trading Determinism for Noncommutativity in Edmonds' Problem
von: Arvind, V., et al.
Veröffentlicht: (2024)

Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples
von: Haneef, Farah
Veröffentlicht: (2024)

Complexity of Unary Exclusive Nondeterministic Finite Automata
von: Kutrib, Martin, et al.
Veröffentlicht: (2024)

Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024)
von: Manea, Florin, et al.
Veröffentlicht: (2024)

Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-in Cascading Circuits
von: Yamakami, Tomoyuki
Veröffentlicht: (2024)

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
von: Acampora, Renato, et al.
Veröffentlicht: (2024)

Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications
von: Moreira, Nelma, et al.
Veröffentlicht: (2025)

Constant-Space, Constant-Randomness Verifiers with Arbitrarily Small Error
von: Gezer, M. Utkan, et al.
Veröffentlicht: (2020)

Visibly Recursive Automata
von: Dubrulle, Kévin, et al.
Veröffentlicht: (2026)

Between SC and LOGDCFL: Families of Languages Accepted by Logarithmic-Space Deterministic Auxiliary Depth-k Storage Automata
von: Yamakami, Tomoyuki
Veröffentlicht: (2022)

Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata
von: Yamakami, Tomoyuki
Veröffentlicht: (2023)

Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
von: Yamakami, Tomoyuki
Veröffentlicht: (2021)

The No Endmarker Theorem for One-Way Probabilistic Pushdown Automata
von: Yamakami, Tomoyuki
Veröffentlicht: (2021)

Complexity of Fungal Automaton Prediction
von: Formenti, Enrico, et al.
Veröffentlicht: (2026)

Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
von: Bozga, Marius, et al.
Veröffentlicht: (2026)

Rational-Valued Affine Verifiers in Arthur--Merlin Proof Systems
von: Chen, Zeyu, et al.
Veröffentlicht: (2025)

Embedding arbitrary Boolean circuits into fungal automata with arbitrary update sequences
von: Goles, Eric, et al.
Veröffentlicht: (2026)

Fibrational Perspectives on Determinization of Finite-State Automata
von: Li, Thea
Veröffentlicht: (2024)

Categorical Foundations of Formalized Condensed Mathematics
von: Asgeirsson, Dagur, et al.
Veröffentlicht: (2024)

A formal characterization of discrete condensed objects
von: Asgeirsson, Dagur
Veröffentlicht: (2024)

Profinite trees, through Lawvere theories and the lambda-calculus
von: Moreau, Vincent
Veröffentlicht: (2024)

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

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

Unconditional proofs of quantumness between small-space machines
von: Say, A. C. Cem, et al.
Veröffentlicht: (2024)

Membership and Conjugacy in Inverse Semigroups
von: Fleischer, Lukas, et al.
Veröffentlicht: (2025)

Matching walks that are minimal with respect to edge inclusion
von: Marsault, Victor
Veröffentlicht: (2024)

A categorical framework for cellular automata
von: Castillo-Ramirez, A., et al.
Veröffentlicht: (2026)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
von: Yamakami, Tomoyuki
Veröffentlicht: (2024)