Image de couverture de livre

Logic-Gated Time-Shared Feedforward Networks for Alternating Finite Automata: Exact Simulation and Learnability

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Dhayalkar, Sahil Rajesh
Format:	Preprint
Publié:	2026
Sujets:	Formal Languages and Automata Theory Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Constructive Framework for Nondeterministic Automata via Time-Shared, Depth-Unrolled Feedforward Networks
par: Dhayalkar, Sahil Rajesh
Publié: (2025)

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

Inference of Deterministic Finite Automata via Q-Learning
par: Hosseinkhani, Elaheh, et autres
Publié: (2025)

Congruence-based Learning of Probabilistic Deterministic Finite Automata
par: Carrasco, Matías, et autres
Publié: (2024)

Are Agents Probabilistic Automata? A Trace-Based, Memory-Constrained Theory of Agentic AI
par: Koohestani, Roham, et autres
Publié: (2025)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
par: Chen, Zeyu, et autres
Publié: (2026)

Finite Automata for Efficient Graph Recognition
par: Drewes, Frank, et autres
Publié: (2024)

Repetitive Finite Automata With Translucent Letters
par: Mráz, František, et autres
Publié: (2024)

Exact Accepting-State Spectrum for Reversal of Permutation Automata
par: German, Samuel
Publié: (2026)

Systems of Graph Formulas and their Equivalence to Alternating Graph Automata
par: Drewes, Frank, et autres
Publié: (2025)

Descriptional Complexity of Finite Automata -- Selected Highlights
par: Salomaa, Arto, et autres
Publié: (2023)

Simulations for Event-Clock Automata
par: Akshay, S, et autres
Publié: (2022)

A Formal Framework for the Explanation of Finite Automata Decisions
par: Granada, Jaime Cuartas, et autres
Publié: (2026)

On the Simulation Cost of Quantum Finite Automata
par: Chen, Zeyu, et autres
Publié: (2026)

Measure Many Quantum Finite Automata on Infinite Words
par: Midya, Abhisek, et autres
Publié: (2026)

Simulation Limitations of Affine Cellular Automata
par: Hudcová, Barbora, et autres
Publié: (2023)

Optimal Approximate Minimization of One-Letter Weighted Finite Automata
par: Lacroce, Clara, et autres
Publié: (2023)

Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
par: Kostolányi, Peter, et autres
Publié: (2026)

Mata, a Fast and Simple Finite Automata Library (Technical Report)
par: Chocholatý, David, et autres
Publié: (2023)

Extracting Robust Register Automata from Neural Networks over Data Sequences
par: Hong, Chih-Duo, et autres
Publié: (2025)

Corrections to A Menagerie of Timed Automata
par: Keiren, Jeroen J. A., et autres
Publié: (2016)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
par: Geißler, Dominik, et autres
Publié: (2025)

Learning Deterministic Multi-Clock Timed Automata
par: Teng, Yu, et autres
Publié: (2024)

On Decidability Timed Automata with 2 Parametric Clocks
par: Bersani, Marcello M., et autres
Publié: (2025)

On Synthesis of Timed Regular Expressions
par: Wang, Ziran, et autres
Publié: (2025)

A Linear-time Simulation of Deterministic $d$-Limited Automata
par: Rubtsov, Alexander
Publié: (2023)

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

Mathematical Approach in Automata and Automata Association
par: Maciel, Sergio Henrique
Publié: (2020)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
par: Geißler, Dominik, et autres
Publié: (2025)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
par: De Rosa, Mattia, et autres
Publié: (2025)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
par: Yao, Zhen, et autres
Publié: (2025)

ToolGate: Contract-Grounded and Verified Tool Execution for LLMs
par: Liu, Yanming, et autres
Publié: (2026)

Passive Learning of Lattice Automata from Recurrent Neural Networks
par: Slimi, Jaouhar, et autres
Publié: (2025)

Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation
par: Manini, Andrea, et autres
Publié: (2025)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
par: Yalcinkaya, Beyazit, et autres
Publié: (2025)

Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
par: Luo, Xusheng, et autres
Publié: (2024)

Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons
par: Rahmani, Hazhar, et autres
Publié: (2025)

Automata on Graph Alphabets
par: Bazille, Hugo, et autres
Publié: (2026)

On Shuffling and Splitting Automata
par: Cunningham, Ignacio Mollo
Publié: (2024)

Explorable Parity Automata
par: Hazard, Emile, et autres
Publié: (2024)