论文信息 - A New Proof of two Theorems about Rational Transductions - 字舞流文

A New Proof of two Theorems about Rational Transductions

Abstract We give a new proof of Eilenberg's Cross-Section Theorem and of the theorem of decomposition of functional rational transductions.

Michel Latteux | André Arnold

[1] Marcel Paul Schützenberger,et al. Sur les Relations Rationnelles Entre Monoides Libres , 1976, Theor. Comput. Sci..

[2] Jorge E. Mezei,et al. On Relations Defined by Generalized Finite Automata , 1965, IBM J. Res. Dev..

[3] Maurice Nivat,et al. Transduction des langages de Chomsky , 1968 .

[4] Joost Engelfriet,et al. On Tree Transducers for Partial Functions , 1978, Inf. Process. Lett..