<?xml version="1.0" encoding="utf-8" standalone="no"?>
<dublin_core schema="dc">
<dcvalue element="contributor" qualifier="author">Han,&#x20;Yo-Sub</dcvalue>
<dcvalue element="contributor" qualifier="author">Salomaa,&#x20;Arto</dcvalue>
<dcvalue element="contributor" qualifier="author">Salomaa,&#x20;Kai</dcvalue>
<dcvalue element="contributor" qualifier="author">Wood,&#x20;Derick</dcvalue>
<dcvalue element="contributor" qualifier="author">Yu,&#x20;Sheng</dcvalue>
<dcvalue element="date" qualifier="accessioned">2024-01-21T01:02:47Z</dcvalue>
<dcvalue element="date" qualifier="available">2024-01-21T01:02:47Z</dcvalue>
<dcvalue element="date" qualifier="created">2021-09-02</dcvalue>
<dcvalue element="date" qualifier="issued">2007-05-10</dcvalue>
<dcvalue element="identifier" qualifier="issn">0304-3975</dcvalue>
<dcvalue element="identifier" qualifier="uri">https:&#x2F;&#x2F;pubs.kist.re.kr&#x2F;handle&#x2F;201004&#x2F;134395</dcvalue>
<dcvalue element="description" qualifier="abstract">We&#x20;investigate&#x20;factorizations&#x20;of&#x20;regular&#x20;languages&#x20;in&#x20;terms&#x20;of&#x20;prime&#x20;languages.&#x20;A&#x20;language&#x20;is&#x20;said&#x20;to&#x20;be&#x20;strongly&#x20;prime&#x20;decomposable&#x20;if&#x20;any&#x20;way&#x20;of&#x20;factorizing&#x20;it&#x20;yields&#x20;a&#x20;prime&#x20;decomposition&#x20;in&#x20;a&#x20;finite&#x20;number&#x20;of&#x20;steps.&#x20;We&#x20;give&#x20;a&#x20;characterization&#x20;of&#x20;the&#x20;strongly&#x20;prime&#x20;decomposable&#x20;regular&#x20;languages&#x20;and&#x20;using&#x20;the&#x20;characterization&#x20;we&#x20;show&#x20;that&#x20;every&#x20;regular&#x20;language&#x20;over&#x20;a&#x20;unary&#x20;alphabet&#x20;has&#x20;a&#x20;prime&#x20;decomposition.&#x20;We&#x20;show&#x20;that&#x20;there&#x20;exist&#x20;non-regular&#x20;unary&#x20;languages&#x20;that&#x20;do&#x20;not&#x20;have&#x20;prime&#x20;decompositions.&#x20;We&#x20;also&#x20;consider&#x20;infinite&#x20;factorizations&#x20;of&#x20;unary&#x20;languages.&#x20;(C)&#x20;2007&#x20;Elsevier&#x20;B.V.&#x20;All&#x20;rights&#x20;reserved.</dcvalue>
<dcvalue element="language" qualifier="none">English</dcvalue>
<dcvalue element="publisher" qualifier="none">ELSEVIER&#x20;SCIENCE&#x20;BV</dcvalue>
<dcvalue element="subject" qualifier="none">FINITE&#x20;SETS</dcvalue>
<dcvalue element="subject" qualifier="none">LANGUAGES</dcvalue>
<dcvalue element="subject" qualifier="none">AUTOMATA</dcvalue>
<dcvalue element="subject" qualifier="none">EQUATIONS</dcvalue>
<dcvalue element="subject" qualifier="none">WORDS</dcvalue>
<dcvalue element="title" qualifier="none">On&#x20;the&#x20;existence&#x20;of&#x20;prime&#x20;decompositions</dcvalue>
<dcvalue element="type" qualifier="none">Article</dcvalue>
<dcvalue element="identifier" qualifier="doi">10.1016&#x2F;j.tcs.2007.01.013</dcvalue>
<dcvalue element="description" qualifier="journalClass">1</dcvalue>
<dcvalue element="identifier" qualifier="bibliographicCitation">THEORETICAL&#x20;COMPUTER&#x20;SCIENCE,&#x20;v.376,&#x20;no.1-2,&#x20;pp.60&#x20;-&#x20;69</dcvalue>
<dcvalue element="citation" qualifier="title">THEORETICAL&#x20;COMPUTER&#x20;SCIENCE</dcvalue>
<dcvalue element="citation" qualifier="volume">376</dcvalue>
<dcvalue element="citation" qualifier="number">1-2</dcvalue>
<dcvalue element="citation" qualifier="startPage">60</dcvalue>
<dcvalue element="citation" qualifier="endPage">69</dcvalue>
<dcvalue element="description" qualifier="journalRegisteredClass">scie</dcvalue>
<dcvalue element="description" qualifier="journalRegisteredClass">scopus</dcvalue>
<dcvalue element="identifier" qualifier="wosid">000246375200007</dcvalue>
<dcvalue element="identifier" qualifier="scopusid">2-s2.0-34147186347</dcvalue>
<dcvalue element="relation" qualifier="journalWebOfScienceCategory">Computer&#x20;Science,&#x20;Theory&#x20;&amp;&#x20;Methods</dcvalue>
<dcvalue element="relation" qualifier="journalResearchArea">Computer&#x20;Science</dcvalue>
<dcvalue element="type" qualifier="docType">Article;&#x20;Proceedings&#x20;Paper</dcvalue>
<dcvalue element="subject" qualifier="keywordPlus">FINITE&#x20;SETS</dcvalue>
<dcvalue element="subject" qualifier="keywordPlus">LANGUAGES</dcvalue>
<dcvalue element="subject" qualifier="keywordPlus">AUTOMATA</dcvalue>
<dcvalue element="subject" qualifier="keywordPlus">EQUATIONS</dcvalue>
<dcvalue element="subject" qualifier="keywordPlus">WORDS</dcvalue>
<dcvalue element="subject" qualifier="keywordAuthor">language&#x20;decompositions</dcvalue>
<dcvalue element="subject" qualifier="keywordAuthor">primality</dcvalue>
<dcvalue element="subject" qualifier="keywordAuthor">unary&#x20;languages</dcvalue>
</dublin_core>
