SD-Regular Transducer Expressions for Aperiodic Transformations

FO transductions, aperiodic deterministic two-way transducers, as well as aperiodic streaming string transducers are all equivalent models for first order definable functions. In this paper, we solve the problem of expressions capturing first order definable functions, thereby generalizing the semin...

Full description

Bibliographic Details

Published in:	Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 1 - 13
Main Authors:	Dartois, Luc, Gastin, Paul, Krishna, Shankara Narayanan
Format:	Conference Proceeding
Language:	English
Published:	IEEE 29.06.2021
Subjects:	Complexity theory Computer science Delays Synchronization Time complexity Transducers
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!