Copertina

The No Endmarker Theorem for One-Way Probabilistic Pushdown Automata

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Yamakami, Tomoyuki
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Formal Languages and Automata Theory Computational Complexity
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters
di: Yamakami, Tomoyuki
Pubblicazione: (2024)

Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata
di: Yamakami, Tomoyuki
Pubblicazione: (2023)

Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-in Cascading Circuits
di: Yamakami, Tomoyuki
Pubblicazione: (2024)

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

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?
di: Yamakami, Tomoyuki
Pubblicazione: (2020)

Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice
di: Yamakami, Tomoyuki
Pubblicazione: (2019)

Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
di: Yamakami, Tomoyuki
Pubblicazione: (2021)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
di: Yamakami, Tomoyuki
Pubblicazione: (2024)

Explorability in Pushdown Automata
di: Bedi, Ayaan, et al.
Pubblicazione: (2025)

Visibly Recursive Automata
di: Dubrulle, Kévin, et al.
Pubblicazione: (2026)

Maximal Length Cellular Automata : A Survey
di: Adak, Sumit, et al.
Pubblicazione: (2024)

Complexity of Unary Exclusive Nondeterministic Finite Automata
di: Kutrib, Martin, et al.
Pubblicazione: (2024)

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

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
di: Göller, Stefan, et al.
Pubblicazione: (2023)

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

Input-Driven Pushdown Automata with Translucent Input Letters
di: Kutrib, Martin, et al.
Pubblicazione: (2025)

A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter
di: Shakiba, Yousef, et al.
Pubblicazione: (2025)

A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
di: Guha, Shibashis, et al.
Pubblicazione: (2021)

Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
di: Bizière, Clotilde, et al.
Pubblicazione: (2024)

On the complexity of computing Strahler numbers
di: Ganardi, Moses, et al.
Pubblicazione: (2025)

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

Regular Expressions with Backreferences and Lookaheads Capture NLOG
di: Uezato, Yuya
Pubblicazione: (2024)

Trading Determinism for Noncommutativity in Edmonds' Problem
di: Arvind, V., et al.
Pubblicazione: (2024)

Constant-Space, Constant-Randomness Verifiers with Arbitrarily Small Error
di: Gezer, M. Utkan, et al.
Pubblicazione: (2020)

Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples
di: Haneef, Farah
Pubblicazione: (2024)

Entropy of pebble automata and space complexity
di: Montoya, J. Andres
Pubblicazione: (2026)

Studying homing and synchronizing sequences for Timed Finite State Machines with output delays
di: Vinarskii, Evgenii, et al.
Pubblicazione: (2025)

Complexity of Fungal Automaton Prediction
di: Formenti, Enrico, et al.
Pubblicazione: (2026)

Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs
di: Bozga, Marius, et al.
Pubblicazione: (2026)

Rational-Valued Affine Verifiers in Arthur--Merlin Proof Systems
di: Chen, Zeyu, et al.
Pubblicazione: (2025)

Synthesis of Timeline-Based Planning Strategies Avoiding Determinization
di: Acampora, Renato, et al.
Pubblicazione: (2024)

Embedding arbitrary Boolean circuits into fungal automata with arbitrary update sequences
di: Goles, Eric, et al.
Pubblicazione: (2026)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
di: Achilleos, Antonis, et al.
Pubblicazione: (2024)

Reachability in Trace-Pushdown Systems
di: Köcher, Chris, et al.
Pubblicazione: (2025)

Continuous Pushdown VASS in One Dimension are Easy
di: Perez, Guillermo A., et al.
Pubblicazione: (2024)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
di: Chen, Zeyu, et al.
Pubblicazione: (2026)

Matching walks that are minimal with respect to edge inclusion
di: Marsault, Victor
Pubblicazione: (2024)

A Bionic Natural Language Parser Equivalent to a Pushdown Automaton
di: Wei, Zhenghao, et al.
Pubblicazione: (2024)

Myhill-Nerode Theorem for Higher-Dimensional Automata
di: Fahrenberg, Uli, et al.
Pubblicazione: (2022)

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
di: Amrane, Amazigh, et al.
Pubblicazione: (2025)