Representation of rational functions with prefix and suffix codings

We proceed with the characterization of rational functions by means of restricted class of morphisms. Left subsequential transductions can be factored in an endmarking followed by an uniform morphism, the inverse of a prefix morphism and an alphabetic morphism. Rational functions require the inverse...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Theoretical computer science 1994-11, Vol.134 (2), p.403-413
Hauptverfasser: Harju, T., Kleijn, H.C.M., Latteux, M., Terlutte, A.
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We proceed with the characterization of rational functions by means of restricted class of morphisms. Left subsequential transductions can be factored in an endmarking followed by an uniform morphism, the inverse of a prefix morphism and an alphabetic morphism. Rational functions require the inverse of a prefix morphism followed by the inverse of a suffix morphism. Nous poursuivons l'étude des fonctions rationnelles et leurs caractérisations en termes de compositions de morphismes. Nous montrons que les transductions sous-séquentilles peuvent se factoriser en un marquage de fin de mot suivi d'un morphisme uniforme, d'un morphisme préfixe inverse et d'un morphisme alphabétique. Les fonctions rationnelles nécessitent l'emploi d'un morphisme préfixe inverse suivi d'un morphisme suffixe inverse.
ISSN:0304-3975
1879-2294
DOI:10.1016/0304-3975(94)90245-3