Buchumschlag

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	López-Rubio, Ezequiel
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Computational Complexity Formal Languages and Automata Theory 68N15 D.3.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bridging Chaos Game Representations and $k$-mer Frequencies of DNA Sequences
von: He, Haoze, et al.
Veröffentlicht: (2025)

Program Analysis via Multiple Context Free Language Reachability
von: Conrado, Giovanna Kobus, et al.
Veröffentlicht: (2024)

Resolution of The Linear-Bounded Automata Question
von: Lin, Tianrong
Veröffentlicht: (2021)

Diagonalization of Polynomial-Time Deterministic Turing Machines via Nondeterministic Turing Machines
von: Lin, Tianrong
Veröffentlicht: (2021)

Geometric Characterization of Context-Free Intersections via the Inner Segment Dichotomy
von: Silva, Jorge Miguel
Veröffentlicht: (2026)

The Equivalence Problem of E-Pattern Languages with Regular Constraints is Undecidable
von: Nowotka, Dirk, et al.
Veröffentlicht: (2024)

An Analysis of Decision Problems for Relational Pattern Languages under Various Constraints
von: Jansen, Klaus, et al.
Veröffentlicht: (2025)

The Equivalence Problem of E-Pattern Languages with Length Constraints is Undecidable
von: Nowotka, Dirk, et al.
Veröffentlicht: (2024)

Quasi-stratified Order Semantics of Concurrency
von: Koutny, Maciej, et al.
Veröffentlicht: (2024)

Towards Automatic Error Recovery in Parsing Expression
von: de Medeiros, Sérgio Queiroz, et al.
Veröffentlicht: (2025)

LR Parsing of Permutation Phrases
von: Kostičová, Jana
Veröffentlicht: (2024)

INTERLEAVE: A Faster Symbolic Algorithm for Maximal End Component Decomposition
von: Bansal, Suguman, et al.
Veröffentlicht: (2025)

Contract-based Verification of Digital Twins
von: Naeem, Muhammad, et al.
Veröffentlicht: (2025)

Regular Model Checking for Systems with Effectively Regular Reachability Relation
von: Esparza, Javier, et al.
Veröffentlicht: (2025)

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
von: Wang, Peixin, et al.
Veröffentlicht: (2025)

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

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

Flavors of Quantifiers in Hyperlogics
von: Chalupa, Marek, et al.
Veröffentlicht: (2025)

High-Performance Generation of Constrained Inputs
von: Crump, Addison, et al.
Veröffentlicht: (2025)

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

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

The Polynomial Hierarchy does not collapse
von: Czerwinski, Reiner
Veröffentlicht: (2024)

Functional Closure Properties of Finite $\mathbb{N}$-weighted Automata
von: Dörfler, Julian, et al.
Veröffentlicht: (2024)

Weighted Automata and Logics Meet Computational Complexity
von: Kostolányi, Peter
Veröffentlicht: (2023)

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

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)

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)

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

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

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

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

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

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)