2 papers
cs.FL2018
Regular and First Order List Functions
Mikolaj Bojanczyk, Laure Daviaud, Krishna Shankara Narayanan
We define two classes of functions, called regular (respectively, first-order) list functions, which manipulate objects such as lists, lists of lists, pairs of lists, lists of pair…
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…