<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-016-05-0821</article-id>
      <article-id pub-id-type="publisher-id">29641</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>F.1.1 - Models of Computation</subject>
          <subject>F.4.3 - Formal Languages</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Salomaa</surname>
            <given-names>Arto</given-names>
          </name>
          <email xlink:type="simple">asalomaa@utu.fi</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">Turku Centre for Computer Science, Turku, Finland</addr-line>
        <institution>Turku Centre for Computer Science</institution>
        <addr-line content-type="city">Turku</addr-line>
        <country>Finland</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Arto Salomaa (<email xlink:type="simple">asalomaa@utu.fi</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2010</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>01</day>
        <month>03</month>
        <year>2010</year>
      </pub-date>
      <volume>16</volume>
      <issue>5</issue>
      <fpage>821</fpage>
      <lpage>832</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/CA47234A-E1C5-51CF-B37E-7829CC18C4B0">CA47234A-E1C5-51CF-B37E-7829CC18C4B0</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/7001147">7001147</uri>
      <permissions>
        <copyright-statement>Arto Salomaa</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>We investigate the problem of decomposing a language into a catenation of nontrivial languages, none of which can be decomposed further. In many cases this leads to the operation of an ordered catenation closure, introduced in this paper. We study properties of this operation, as well as its iterations. Special emphasis is on laid on ordered catenation closures of finite languages. It is also shown that if an infinite language is a code or a length code, then its ordered catenation closure does not possess a finite decomposition of indecomposable factors.</p>
      </abstract>
    </article-meta>
  </front>
</article>
