On the representation of finite 2-deterministic automata - Archive ouverte HAL
Article Dans Une Revue Theoretical Computer Science Année : 1999

On the representation of finite 2-deterministic automata

Résumé

This paper presents properties of relations between words that are realized by deterministic finite 2-tape automata. It has been made as complete as possible, and is structured by the systematic use of the matrix representation of automata. It is first shown that deterministic 2-tape automata are characterized as those which can be given a prefix matrix representation. Schützenberger construct on representations, the one that gives semi-monomial representations for rational functions of words, is then applied to this prefix representation in order to obtain a new proof of the fact that the lexicographic selection of a deterministic rational relation on words is a rational function.

Dates et versions

hal-01148825 , version 1 (05-05-2015)

Identifiants

Citer

Maryse Pelletier, Jacques Sakarovitch. On the representation of finite 2-deterministic automata. Theoretical Computer Science, 1999, 225 (1-2), pp.1-63. ⟨10.1016/S0304-3975(98)00179-0⟩. ⟨hal-01148825⟩
131 Consultations
0 Téléchargements

Altmetric

Partager

More