The Power of Symbolic Automata and Transducers

CAV, pp. 47-67, 2017.

Cited by: 27|Bibtex|Views26|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments