TY - RPRT TI - On the Complexity of Symbolic Finite-State Automata AU - Dana Fisman AU - Hadar Frenkel AU - Sandra Zilles PY - 2021 UR - https://arxiv.org/abs/2011.05389 ID - 2011.05389 ER -