<?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;Kai</dcvalue>
<dcvalue element="date" qualifier="accessioned">2024-01-19T13:38:47Z</dcvalue>
<dcvalue element="date" qualifier="available">2024-01-19T13:38:47Z</dcvalue>
<dcvalue element="date" qualifier="created">2022-03-07</dcvalue>
<dcvalue element="date" qualifier="issued">2007</dcvalue>
<dcvalue element="identifier" qualifier="issn">0302-9743</dcvalue>
<dcvalue element="identifier" qualifier="uri">https:&#x2F;&#x2F;pubs.kist.re.kr&#x2F;handle&#x2F;201004&#x2F;116421</dcvalue>
<dcvalue element="description" qualifier="abstract">We&#x20;investigate&#x20;the&#x20;state&#x20;complexity&#x20;of&#x20;union&#x20;and&#x20;intersection&#x20;for&#x20;finite&#x20;languages.&#x20;Note&#x20;that&#x20;the&#x20;problem&#x20;of&#x20;obtaining&#x20;the&#x20;tight&#x20;bounds&#x20;for&#x20;both&#x20;operations&#x20;was&#x20;open.&#x20;We&#x20;compute&#x20;the&#x20;upper&#x20;bounds&#x20;based&#x20;on&#x20;the&#x20;structural&#x20;properties&#x20;of&#x20;minimal&#x20;deterministic&#x20;finite-state&#x20;automata&#x20;(DFAs)&#x20;for&#x20;finite&#x20;languages.&#x20;Then,&#x20;we&#x20;show&#x20;that&#x20;the&#x20;upper&#x20;bounds&#x20;are&#x20;tight&#x20;if&#x20;we&#x20;have&#x20;a&#x20;variable&#x20;sized&#x20;alphabet&#x20;that&#x20;can&#x20;depend&#x20;on&#x20;the&#x20;size&#x20;of&#x20;input&#x20;DFAs.&#x20;In&#x20;addition,&#x20;we&#x20;prove&#x20;that&#x20;the&#x20;upper&#x20;bounds&#x20;are&#x20;unreachable&#x20;for&#x20;any&#x20;fixed&#x20;sized&#x20;alphabet.</dcvalue>
<dcvalue element="language" qualifier="none">English</dcvalue>
<dcvalue element="publisher" qualifier="none">SPRINGER-VERLAG&#x20;BERLIN</dcvalue>
<dcvalue element="title" qualifier="none">State&#x20;complexity&#x20;of&#x20;union&#x20;and&#x20;intersection&#x20;of&#x20;finite&#x20;languages</dcvalue>
<dcvalue element="type" qualifier="none">Conference</dcvalue>
<dcvalue element="description" qualifier="journalClass">1</dcvalue>
<dcvalue element="identifier" qualifier="bibliographicCitation">11th&#x20;International&#x20;Conference&#x20;on&#x20;Developments&#x20;in&#x20;Language&#x20;Theory,&#x20;v.4588,&#x20;pp.217&#x20;-&#x20;+</dcvalue>
<dcvalue element="citation" qualifier="title">11th&#x20;International&#x20;Conference&#x20;on&#x20;Developments&#x20;in&#x20;Language&#x20;Theory</dcvalue>
<dcvalue element="citation" qualifier="volume">4588</dcvalue>
<dcvalue element="citation" qualifier="startPage">217</dcvalue>
<dcvalue element="citation" qualifier="endPage">+</dcvalue>
<dcvalue element="citation" qualifier="conferencePlace">GE</dcvalue>
<dcvalue element="citation" qualifier="conferencePlace">Univ&#x20;Turku,&#x20;Turku,&#x20;FINLAND</dcvalue>
<dcvalue element="citation" qualifier="conferenceDate">2007-07-03</dcvalue>
<dcvalue element="relation" qualifier="isPartOf">DEVELOPMENTS&#x20;IN&#x20;LANGUAGE&#x20;THEORY,&#x20;PROCEEDINGS</dcvalue>
<dcvalue element="identifier" qualifier="wosid">000247909100022</dcvalue>
<dcvalue element="identifier" qualifier="scopusid">2-s2.0-34548080408</dcvalue>
<dcvalue element="type" qualifier="docType">Proceedings&#x20;Paper</dcvalue>
</dublin_core>
