Freydenberger_Reidenbach_Schneider_IJFCS_Unambiguous_Morphisms_final_version_updated.pdf (350.12 kB)
Unambiguous morphic images of strings
journal contribution
posted on 2008-07-04, 11:14 authored by Dominik FreydenbergerDominik Freydenberger, Daniel Reidenbach, Johannes C. SchneiderWe study a fundamental combinatorial problem on morphisms in free semigroups: With
regard to any string α over some alphabet we ask for the existence of a morphism σ such
that σ(α) is unambiguous, i.e. there is no morphism T with T(i) ≠ σ(i) for some symbol
i in α and, nevertheless, T(α) = σ(α). As a consequence of its elementary nature, this
question shows a variety of connections to those topics in discrete mathematics which
are based on finite strings and morphisms such as pattern languages, equality sets and,
thus, the Post Correspondence Problem.
Our studies demonstrate that the existence of unambiguous morphic images essen-
tially depends on the structure of α: We introduce a partition of the set of all finite
strings into those that are decomposable (referred to as prolix) in a particular manner
and those that are indecomposable (called succinct). This partition, that is also known
to be of major importance for the research on pattern languages and on finite fixed
points of morphisms, allows to formulate our main result according to which a string α
can be mapped by an injective morphism onto an unambiguous image if and only if α is
succinct.
History
School
- Science
Department
- Computer Science
Citation
FREYDENBERGER, D.D., REIDENBACH, D. and SCHNEIDER, J.C., 2006. Unambiguous morphic images of strings. International Journal of Foundations of Computer Science, 17 (3), pp. 601-628Publisher
© World Scientific Publishing CompanyPublication date
2006Notes
This is a journal article. It was published in the journal, International Journal of Foundations of Computer Science [© World Scientific Publishing Company]. The definitive version is available at: http://www.cs.ucsb.edu/~ijfcs/ISSN
0129-0541Language
- en