Buchumschlag

Prebiotic Functional Programs: Endogenous Selection in an Artificial Chemistry

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Vimal, Devansh, Mathis, Cole, Weimer, Westley, Forrest, Stephanie
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Formal Languages and Automata Theory Populations and Evolution
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Self-Organization in Computation & Chemistry: Return to AlChemy
von: Mathis, Cole, et al.
Veröffentlicht: (2024)

Structural Abstraction and Refinement for Probabilistic Programs
von: Li, Guanyan, et al.
Veröffentlicht: (2025)

Descriptional Complexity of Finite Automata -- Selected Highlights
von: Salomaa, Arto, et al.
Veröffentlicht: (2023)

Attributed Tree Transducers for Partial Functions
von: Maneth, Sebastian, et al.
Veröffentlicht: (2024)

Spatio-Temporal view on the Topological Functioning Model
von: Spichkova, Maria
Veröffentlicht: (2025)

A Characterization of Turing Machines that Compute Primitive Recursive Functions
von: Schwartz, Daniel G.
Veröffentlicht: (2025)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Elementary Cellular Automata as Non-Cryptographic Hash Functions
von: McKinley, Daniel
Veröffentlicht: (2025)

V-Star: Learning Visibly Pushdown Grammars from Program Inputs
von: Jia, Xiaodong, et al.
Veröffentlicht: (2024)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
von: Zhang, Kaiwen, et al.
Veröffentlicht: (2026)

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

Statistical process discovery
von: Cry, Pierre, et al.
Veröffentlicht: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
von: Jeppson, Joshua, et al.
Veröffentlicht: (2025)

Hyper pattern matching
von: Waga, Masaki, et al.
Veröffentlicht: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
von: Kutrib, Martin, et al.
Veröffentlicht: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
von: Kan, Shuanglong, et al.
Veröffentlicht: (2025)

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

Universality Frontier for Asynchronous Cellular Automata
von: Baburin, Ivan, et al.
Veröffentlicht: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
von: Mazowiecki, Filip, et al.
Veröffentlicht: (2025)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
von: Kim, Moon, et al.
Veröffentlicht: (2025)

Castor Ministerialis
von: Hercher, Christian
Veröffentlicht: (2025)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
von: Memmi, Gerard
Veröffentlicht: (2025)

Unambiguisability and Register Minimisation of Min-Plus Models
von: Almagor, Shaull, et al.
Veröffentlicht: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
von: Slimi, Jaouhar, et al.
Veröffentlicht: (2025)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
von: Finkel, Alain, et al.
Veröffentlicht: (2025)

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

FocusE: A semantic extension of FocusST
von: Spichkova, Maria
Veröffentlicht: (2025)

Polyregular Model Checking
von: Lopez, Aliaume, et al.
Veröffentlicht: (2025)

Reversible Pebble Transducers
von: Dartois, Luc, et al.
Veröffentlicht: (2025)

On the Complexity of Language Membership for Probabilistic Words
von: Amarilli, Antoine, 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)

Higher-Dimensional Automata : Extension to Infinite Tracks
von: Passemard, Luc, et al.
Veröffentlicht: (2025)

Counting Abstraction for the Verification of Structured Parameterized Networks
von: Bozga, Marius, et al.
Veröffentlicht: (2025)

Learning Event-recording Automata Passively
von: Majumdar, Anirban, et al.
Veröffentlicht: (2025)

Two-way affine automata can verify every language
von: Chen, Zeyu, et al.
Veröffentlicht: (2025)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
von: Akshay, S., et al.
Veröffentlicht: (2025)