Copyright © 2003 Elsevier B.V. All rights reserved.
Note
On factorization forests of finite height
Received 9 January 2003;
revised 21 May 2003;
accepted 26 May 2003;
Communicated by D. Perrin
Available online 21 June 2003.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Simon (Theoret. Comput. Sci. 72 (1990) 65–94) has proved that every morphism from a free semigroup to a finite semigroup S admits a Ramseyan factorization forest of height at most 9|S|. In this paper, we prove the same result of Simon with an improved bound of 7|S|. We provide a simple algorithm for constructing a factorization forest. In addition, we show that the algorithm cannot be improved significantly. We give examples of semigroup morphism such that any Ramseyan factorization forest for the morphism would require a height not less than |S|.
Author Keywords: Semigroup morphism; Ramseyan factorization forest







E-mail Article
Add to my Quick Links

Cited By in Scopus (5)






