Cover Image

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sistla, Meghana, Chaudhuri, Swarat, Reps, Thomas
Format:	Preprint
Published:	2022
Subjects:	Symbolic Computation Formal Languages and Automata Theory Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Weighted Context-Free-Language Ordered Binary Decision Diagrams
by: Sistla, Meghana, et al.
Published: (2023)

Do CFLOBDDs Actually Make Use of Linear Structure?
by: Sistla, Meghana Aparna, et al.
Published: (2026)

Polynomial Bounds of CFLOBDDs against BDDs
by: Zhi, Xusheng, et al.
Published: (2024)

Specializing anti-unification for interaction models composition via gate connections
by: Nguetoum, Joel, et al.
Published: (2025)

Scalable Computation of Inter-Core Bounds Through Exact Abstractions
by: Foughali, Mohammed Aristide, et al.
Published: (2024)

Algebraic power series and their automatic complexity modulo prime powers
by: Rowland, Eric, et al.
Published: (2024)

Complexity Classification of Complex-Weighted Counting Acyclic Constraint Satisfaction Problems
by: Yamakami, Tomoyuki
Published: (2024)

Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems
by: Das, Ratnangshu, et al.
Published: (2025)

Computing Sound Lower and Upper Bounds on Hamilton-Jacobi Reach-Avoid Value Functions
by: Tabbara, Ihab, et al.
Published: (2025)

Spectral and combinatorial methods for efficiently computing the rank of unambiguous finite automata
by: Kiefer, Stefan, et al.
Published: (2025)

Tracer: A Tool for Race Detection in Software Defined Network Models
by: Caltais, Georgiana, et al.
Published: (2024)

Weakly-unambiguous Parikh automata and their link to holonomic series
by: Bostan, Alin, et al.
Published: (2025)

Context-Free Languages of String Diagrams
by: Earnshaw, Matt, et al.
Published: (2024)

FORM: Learning Expressive and Transferable First-Order Logic Reward Machines
by: Ardon, Leo, et al.
Published: (2024)

Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
by: Moran, Murat
Published: (2026)

Directed Regular and Context-Free Languages
by: Ganardi, Moses, et al.
Published: (2024)

Learning Quantitative Automata Modulo Theories
by: Hsiung, Eric, et al.
Published: (2024)

Forbidden-Context & Ordered Grammar Systems
by: Fernau, Henning, et al.
Published: (2026)

Compiling Quantum Regular Language States
by: Bellante, Armando, et al.
Published: (2026)

A Tree Sampler for Bounded Context-Free Languages
by: Considine, Breandan
Published: (2024)

Shuffles of Context-Free Languages along Regular Trajectories
by: Barloy, Corentin, et al.
Published: (2026)

Real-Time Emergency Vehicle Detection using Mel Spectrograms and Regular Expressions
by: Pacheco-Gonzalez, Alberto, et al.
Published: (2023)

Distributional Learning of Context-Free Languages under Fixed Finite-Monoid Typing
by: Kuriyama, Takayuki
Published: (2014)

Regular Expressions with Backreferences on Multiple Context-Free Languages, and the Closed-Star Condition
by: Nogami, Taisei, et al.
Published: (2024)

Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
by: Yamakami, Tomoyuki
Published: (2021)

A Representative Framework for Implementing Quantum Finite Automata on Real Devices
by: Khadieva, Aliya, et al.
Published: (2024)

Implementing a Quantum Finite Automaton in IBMQ using Custom Control Pulses
by: Lussi, Eduardo Willwock, et al.
Published: (2024)

Regular language quantum states
by: Florido-Llinàs, Marta, et al.
Published: (2024)

Formal verification of higher dimensional quantum protocols
by: Puthoor, Ittoop Vergheese
Published: (2024)

On the Origin of Quantum Uncertainty
by: Adami, Christoph
Published: (2020)

On the Simulation Cost of Quantum Finite Automata
by: Chen, Zeyu, et al.
Published: (2026)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
by: Grahl, Johanna, et al.
Published: (2025)

Random Graph Generation in Context-Free Graph Languages
by: Vastarini, Federico, et al.
Published: (2024)

Classical and quantum Merlin-Arthur automata
by: Yakaryılmaz, Abuzer
Published: (2022)

Unconditional proofs of quantumness between small-space machines
by: Say, A. C. Cem, et al.
Published: (2024)

Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice
by: Yamakami, Tomoyuki
Published: (2019)

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?
by: Yamakami, Tomoyuki
Published: (2020)

QIP $ \subseteq $ AM(2QCFA)
by: Yakaryılmaz, Abuzer
Published: (2025)

Detecting and Explaining (In-)equivalence of Context-Free Grammars
by: Schmellenkamp, Marko, et al.
Published: (2024)

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life
by: Myreen, Magnus O., et al.
Published: (2025)