A1 Refereed original research article in a scientific journal
DETERMINISTIC SEQUENTIAL FUNCTIONS
Authors: HARJU T, KLEIJN HCM, LATTEUX M
Publisher: SPRINGER VERLAG
Publication year: 1992
Journal:: Acta Informatica
Journal name in source: ACTA INFORMATICA
Journal acronym: ACTA INFORM
Volume: 29
Issue: 6-7
First page : 545
Last page: 554
Number of pages: 10
ISSN: 0001-5903
DOI: https://doi.org/10.1007/BF01185560
Abstract
The simple rational partial functions accepted by generalized sequential machines are shown to coincide with the compositions HH(P)-1H, where H(P) consists of the prefix codings. The rational functions accepted by generalized sequential machines are proved to coincide with the compositions HMH(P)-1 RH, where M is the family of endmarkers and R is the family of removals of endmarkers. (The compositions are read from left to right). We also show that MHH(P)-1H is the family of the subsequential functions.
The simple rational partial functions accepted by generalized sequential machines are shown to coincide with the compositions HH(P)-1H, where H(P) consists of the prefix codings. The rational functions accepted by generalized sequential machines are proved to coincide with the compositions HMH(P)-1 RH, where M is the family of endmarkers and R is the family of removals of endmarkers. (The compositions are read from left to right). We also show that MHH(P)-1H is the family of the subsequential functions.
UTU Research Portal