Buchumschlag

Atomic Gliders and CA as Language Generators (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Fisman, Dana, Izsak, Noa
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
von: Angluin, Dana, et al.
Veröffentlicht: (2022)

Omega-Regular Robustness
von: Fisman, Dana, et al.
Veröffentlicht: (2025)

Runtime Consultants
von: Fisman, Dana, et al.
Veröffentlicht: (2025)

A Robust Measure on FDFAs Following Duo-Normalized Acceptance
von: Fisman, Dana, et al.
Veröffentlicht: (2023)

Inferring Symbolic Automata
von: Fisman, Dana, et al.
Veröffentlicht: (2021)

Componentwise Automata Learning for System Integration (Extended Version)
von: Fujinami, Hiroya, et al.
Veröffentlicht: (2025)

Collaboration Miner: Discovering Collaboration Petri Nets (Extended Version)
von: Benzin, Janik-Vasily, et al.
Veröffentlicht: (2024)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
von: Dahlsen-Jensen, Mikael Bisgaard, et al.
Veröffentlicht: (2024)

Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
von: Tsai, Yun Chen, et al.
Veröffentlicht: (2025)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
von: Schalk, Patrizia, et al.
Veröffentlicht: (2025)

TARZAN: A Region-Based Library for Forward and Backward Reachability of Timed Automata (Extended Version)
von: Manini, Andrea, et al.
Veröffentlicht: (2026)

Asymptotic Hausdorff and Language Similarity
von: Fisman, Dana, et al.
Veröffentlicht: (2026)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
von: Nepeivoda, Antonina, et al.
Veröffentlicht: (2025)

Extended time Petri nets
von: Radom, Marcin, et al.
Veröffentlicht: (2024)

Reachability in VASS Extended with Integer Counters
von: Bizière, Clotilde, et al.
Veröffentlicht: (2026)

Extended Stone Duality via Monoidal Adjunctions
von: Lenke, Fabian, et al.
Veröffentlicht: (2024)

Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
von: Izsak, Noa
Veröffentlicht: (2025)

Active Inference of Extended Finite State Machine Models with Registers and Guards
von: Groz, Roland, et al.
Veröffentlicht: (2026)

A General Information Extraction Framework Based on Formal Languages
von: Schmid, Markus L.
Veröffentlicht: (2025)

Frequency-Histogram Coarse Graining in Elementary Cellular Automata and 2D CA
von: Jain, Sanyam, et al.
Veröffentlicht: (2025)

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
von: Shoudai, Takayoshi, et al.
Veröffentlicht: (2026)

Automata-less Monitoring via Trace-Checking (Extended Version)
von: Brunello, Andrea, et al.
Veröffentlicht: (2025)

Universally Wheeler Languages
von: Becker, Ruben, et al.
Veröffentlicht: (2025)

Quantitative Language Automata
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)

Positive Varieties of Lattice Languages
von: Inoue, Yusuke, et al.
Veröffentlicht: (2025)

On the Complexity of Language Membership for Probabilistic Words
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Stochastic Languages at Sub-stochastic Cost
von: Agarwal, Smayan, et al.
Veröffentlicht: (2025)

On the Separability Problem of VASS Reachability Languages
von: Keskin, Eren, et al.
Veröffentlicht: (2024)

Operational State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

On the Representation and State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

Regular Languages in the Sliding Window Model
von: Ganardi, Moses, et al.
Veröffentlicht: (2024)

Positive Characteristic Sets for Relational Pattern Languages
von: Mousawi, S. Mahmoud, et al.
Veröffentlicht: (2025)

Idefix-Closed Languages and Their Application in Contextual Grammars
von: Ködding, Marvin, et al.
Veröffentlicht: (2025)

Large Language Models and the Extended Church-Turing Thesis
von: Wiedermann, Jiří, et al.
Veröffentlicht: (2024)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)

Measure-Theoretic Aspects of Star-Free and Group Languages
von: Sin'ya, Ryoma, et al.
Veröffentlicht: (2025)

A Tree Sampler for Bounded Context-Free Languages
von: Considine, Breandan
Veröffentlicht: (2024)

Shuffles of Context-Free Languages along Regular Trajectories
von: Barloy, Corentin, et al.
Veröffentlicht: (2026)

Greybox Learning of Languages Recognizable by Event-Recording Automata
von: Majumdar, Anirban, et al.
Veröffentlicht: (2024)

Kamp Theorem for Pomset Languages of Higher Dimensional Automata
von: Clement, Emily, et al.
Veröffentlicht: (2024)