The Power of Symbolic Automata and Transducers
CAV, pp. 47-67, 2017.
Symbolic automata and transducers extend finite automata and transducers by allowing transitions to carry predicates and functions over rich alphabet theories, such as linear arithmetic. Therefore, these models extend their classic counterparts to operate over infinite alphabets, such as the set of rational numbers. Due to their expressiv...More
PPT (Upload PPT)