Loughborough University
Browse
Freydenberger_Nevisi_Reidenbach_TCS_Weakly_unambiguous_morphisms_Final_version.pdf (429.43 kB)

Weakly unambiguous morphisms

Download (429.43 kB)
journal contribution
posted on 2012-07-25, 14:35 authored by Dominik FreydenbergerDominik Freydenberger, Hossein NevisiHossein Nevisi, Daniel Reidenbach
A nonerasing morphism σ is said to be weakly unambiguous with respect to a word s if σ is the only nonerasing morphism that can map s to σ(s), i. e., there does not exist any other nonerasing morphism τ satisfying τ(s) = σ(s). In the present paper, we wish to characterise those words with respect to which there exists such a morphism. This question is nontrivial if we consider so-called length-increasing morphisms, which map a word to an image that is strictly longer than the word. Our main result is a compact characterisation that holds for all morphisms with ternary or larger target alphabets. We also comprehensively describe those words that have a weakly unambiguous length-increasing morphism with a unary target alphabet, but we have to leave the problem open for binary alphabets, where we can merely give some non-characteristic conditions.

History

School

  • Science

Department

  • Computer Science

Citation

FREYDENBERGER, D.D., NEVISI, H. and REIDENBACH, D., 2012. Weakly unambiguous morphisms. Theoretical Computer Science, 448, pp. 21-40.

Publisher

© Elsevier

Version

  • AM (Accepted Manuscript)

Publication date

2012

Notes

This is the author’s version of a work that was accepted for publication in the journal, Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in: www.journals.elsevier.com/theoretical-computer-science/

ISSN

0304-3975

Language

  • en

Usage metrics

    Loughborough Publications

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC