Imagen de Portada

Congruence-based Learning of Probabilistic Deterministic Finite Automata

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Carrasco, Matías, Mayr, Franz, Yovine, Sergio
Formato:	Preprint
Publicado:	2024
Materias:	Formal Languages and Automata Theory Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Analyzing constrained LLM through PDFA-learning
por: Carrasco, Matías, et al.
Publicado: (2024)

Inference of Deterministic Finite Automata via Q-Learning
por: Hosseinkhani, Elaheh, et al.
Publicado: (2025)

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
por: Koohestani, Roham, et al.
Publicado: (2025)

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability
por: Dhayalkar, Sahil Rajesh
Publicado: (2026)

Learning Deterministic Multi-Clock Timed Automata
por: Teng, Yu, et al.
Publicado: (2024)

Efficient Learning of Weak Deterministic Büchi Automata
por: Alluwayma, Mona, et al.
Publicado: (2025)

Minimal History-Deterministic Co-Buchi Automata: Congruences and Passive Learning
por: Löding, Christof, et al.
Publicado: (2025)

On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
por: Casares, Antonio, et al.
Publicado: (2024)

History-Deterministic Büchi Automata are Succinct
por: Casares, Antonio, et al.
Publicado: (2026)

Hyper-Minimization for Deterministic Register Automata
por: Li, Yong, et al.
Publicado: (2026)

Token Games and History-Deterministic Quantitative-Automata
por: Boker, Udi, et al.
Publicado: (2021)

BEAVER: An Efficient Deterministic LLM Verifier
por: Suresh, Tarun, et al.
Publicado: (2025)

LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
por: Chen, Lekai, et al.
Publicado: (2024)

Computing the Reachability Value of Posterior-Deterministic POMDPs
por: Fijalkow, Nathanaël, et al.
Publicado: (2026)

Mathematical Approach in Automata and Automata Association
por: Maciel, Sergio Henrique
Publicado: (2020)

Lookahead Games and Efficient Determinisation of History-Deterministic Büchi Automata
por: Acharya, Rohan, et al.
Publicado: (2024)

A Linear-time Simulation of Deterministic $d$-Limited Automata
por: Rubtsov, Alexander
Publicado: (2023)

Constructing Deterministic Parity Automata from Positive and Negative Examples
por: Bohn, León, et al.
Publicado: (2023)

Finite Automata for Efficient Graph Recognition
por: Drewes, Frank, et al.
Publicado: (2024)

Repetitive Finite Automata With Translucent Letters
por: Mráz, František, et al.
Publicado: (2024)

Neural Networks as Universal Finite-State Machines: A Constructive Deterministic Finite Automaton Theory
por: Dhayalkar, Sahil Rajesh
Publicado: (2025)

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
por: Lehtinen, Karoliina, et al.
Publicado: (2025)

Descriptional Complexity of Finite Automata -- Selected Highlights
por: Salomaa, Arto, et al.
Publicado: (2023)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
por: Yao, Zhen, et al.
Publicado: (2025)

A Formal Framework for the Explanation of Finite Automata Decisions
por: Granada, Jaime Cuartas, et al.
Publicado: (2026)

Measure Many Quantum Finite Automata on Infinite Words
por: Midya, Abhisek, et al.
Publicado: (2026)

Scalable Tree-based Register Automata Learning
por: Dierl, Simon, et al.
Publicado: (2024)

Optimal Approximate Minimization of One-Letter Weighted Finite Automata
por: Lacroce, Clara, et al.
Publicado: (2023)

Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
por: Kostolányi, Peter, et al.
Publicado: (2026)

Mata, a Fast and Simple Finite Automata Library (Technical Report)
por: Chocholatý, David, et al.
Publicado: (2023)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
por: Yalcinkaya, Beyazit, et al.
Publicado: (2025)

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

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
por: Geißler, Dominik, et al.
Publicado: (2025)

Congruence based proofs of the recognizability theorems for free many-sorted algebras
por: Vidal, Juan Climent, et al.
Publicado: (2018)

Generalised Arc Consistency via the Synchronised Product of Finite Automata wrt a Constraint
por: Beldiceanu, Nicolas
Publicado: (2025)

Learning Elementary Cellular Automata with Transformers
por: Burtsev, Mikhail
Publicado: (2024)

Query Learning of Advice and Nominal Automata
por: Zhou, Kevin
Publicado: (2024)

Learning Event-recording Automata Passively
por: Majumdar, Anirban, et al.
Publicado: (2025)

Active Learning of Symbolic Mealy Automata
por: Irie, Kengo, et al.
Publicado: (2025)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
por: De Rosa, Mattia, et al.
Publicado: (2025)