Buchumschlag

A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Amarilli, Antoine, Arenas, Marcelo, Choi, YooJung, Monet, Mikaël, Broeck, Guy Van den, Wang, Benjie
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Data Structures and Algorithms Databases 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

Locality Testing for NFAs is PSPACE-complete
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

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

Constant-Time Dynamic Enumeration of Word Infixes in a Regular Language
von: Amarilli, Antoine, et al.
Veröffentlicht: (2026)

Out-of-Order Membership in Regular Languages
von: Amarilli, Antoine, et al.
Veröffentlicht: (2026)

Dynamic Membership for Regular Tree Languages
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Linear Time Subsequence and Supersequence Regex Matching
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Symbolic Functional Decomposition: A Reconfiguration Approach
von: Oliveira, Mateus de Oliveira, et al.
Veröffentlicht: (2026)

Locality and Centrality: The Variety ZG
von: Amarilli, Antoine, et al.
Veröffentlicht: (2021)

Indexing Finite-State Automata Using Forward-Stable Partitions
von: Becker, Ruben, et al.
Veröffentlicht: (2024)

Skyline Operators for Document Spanners
von: Amarilli, Antoine, et al.
Veröffentlicht: (2023)

Language Edit Distance & Scored Parsing: Faster Algorithms & Connection to Fundamental Graph Problems
von: Kociumaka, Tomasz, et al.
Veröffentlicht: (2014)

Closure and Decision Properties for Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2023)

A Complexity Bound for Determinisation of Min-Plus Weighted Automata
von: Almagor, Shaull, et al.
Veröffentlicht: (2026)

Digital Circuits as Moore Machines
von: Yodaiken, Victor
Veröffentlicht: (2010)

Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-in Cascading Circuits
von: Yamakami, Tomoyuki
Veröffentlicht: (2024)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

Dual Adjunction Between $Ω$-Automata and Wilke Algebra Quotients
von: Chernev, Anton, et al.
Veröffentlicht: (2024)

Mathematical Approach in Automata and Automata Association
von: Maciel, Sergio Henrique
Veröffentlicht: (2020)

A Myhill-Nerode Theorem for Generalized Automata, with Applications to Pattern Matching and Compression
von: Cotumaccio, Nicola
Veröffentlicht: (2023)

On Shuffling and Splitting Automata
von: Cunningham, Ignacio Mollo
Veröffentlicht: (2024)

Explorable Parity Automata
von: Hazard, Emile, et al.
Veröffentlicht: (2024)

Automata on Graph Alphabets
von: Bazille, Hugo, et al.
Veröffentlicht: (2026)

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

Asynchronism in Cellular Automata
von: Gautam, Virendra Kumar
Veröffentlicht: (2025)

A closer look at TDFA
von: Borsotti, Angelo, et al.
Veröffentlicht: (2022)

Maximal Closed Substrings
von: Badkobeh, Golnaz, et al.
Veröffentlicht: (2022)

Novel Results on the Number of Runs of the Burrows-Wheeler-Transform
von: Giuliani, Sara, et al.
Veröffentlicht: (2020)

A Fast Algorithm for Computing Prefix Probabilities
von: Nowak, Franz, et al.
Veröffentlicht: (2023)

Generating a Gray code for prefix normal words in amortized polylogarithmic time per word
von: Burcsi, Péter, et al.
Veröffentlicht: (2020)

Computing Minimal Absent Words and Extended Bispecial Factors with CDAWG Space
von: Inenaga, Shunsuke, et al.
Veröffentlicht: (2024)

Absent Subsequences in Words
von: Kosche, Maria, et al.
Veröffentlicht: (2021)

Exponent-Strings and Their Edit Distance
von: Baek, Ingyu
Veröffentlicht: (2024)

Subsequences in Bounded Ranges: Matching and Analysis Problems
von: Kosche, Maria, et al.
Veröffentlicht: (2022)

Efficient Matching of Some Fundamental Regular Expressions with Backreferences
von: Nogami, Taisei, et al.
Veröffentlicht: (2025)

$k$-Universality of Regular Languages Revisited
von: Adamson, Duncan, et al.
Veröffentlicht: (2025)

Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
von: Prinz, Thomas M., et al.
Veröffentlicht: (2026)

Algorithmical Aspects of Some Bio Inspired Operations
von: Dumitran, Marius
Veröffentlicht: (2025)

On Minimizers of Minimum Density
von: Shur, Arseny
Veröffentlicht: (2025)

Prefix Trees Improve Memory Consumption in Large-Scale Continuous-Time Stochastic Models
von: Taylor, Landon, et al.
Veröffentlicht: (2025)

Wheeler Bisimulations
von: Cotumaccio, Nicola
Veröffentlicht: (2026)