The Complexity of Satisfiability Checking for Symbolic Finite Automata.

Published in: CoRR (2023)

Keyphrases

finite automata
probabilistic automata
regular expressions
deterministic automata
grammatical inference
high level
tree automata
symbolic representation
finite automaton
machine learning
building blocks