ONE-WAY DEFINABILITY OF TWO-WAY WORD TRANSDUCERS

Baschenis, F; Gauwin, O; Muscholl, A; Puppis, G

Baschenis, F (reprint author), Univ Bremen, Dept Math & Informat, Bremen, Germany.

LOGICAL METHODS IN COMPUTER SCIENCE, 2018; 14 (4):

Abstract

Functional transductions realized by two-way transducers (or, equally, by streaming transducers or MSO transductions) are the natural and standard not......

Full Text Link