2 papers
cs.FL2020
On the Separability Problem of String Constraints
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Vrunda Dave +1
We address the separability problem for straight-line string constraints. The separability problem for languages of a class C by a class S asks: given two languages A and B in C, d…
cs.FL2018
Regular Transducer Expressions for Regular Transformations
Vrunda Dave, Paul Gastin, Krishna Shankara Narayanan
Functional MSO transductions, deterministic two-way transducers, as well as streaming string transducers are all equivalent models for regular functions. In this paper, we show tha…