State complexity of k-parallel tree concatenation

Yo-Sub Han, Sang Ki Ko, Kai Salomaa

Research output: Contribution to journalArticle

Abstract

We give an optimized construction of a tree automaton recognizing the k-parallel, k ≥ 1, tree concatenation of two regular tree languages. For tree automata with m and n states, respectively, the construction yields an upper bound (m+ 1 2)(n+1)· 2 nk -1 for the state complexity of k-parallel tree concatenation. We give a matching lower bound in the case k = 2. We conjecture that the upper bound is tight for all values of k. We also consider the special case where one of the tree languages is the set of all ranked trees and in this case establish a different tight state complexity bound for all values of k.

Original languageEnglish
Pages (from-to)185-199
Number of pages15
JournalFundamenta Informaticae
Volume154
Issue number1-4
DOIs
Publication statusPublished - 2017 Jan 1

Fingerprint

State Complexity
Concatenation
Tree Automata
Upper bound
Lower bound

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Algebra and Number Theory
  • Information Systems
  • Computational Theory and Mathematics

Cite this

Han, Yo-Sub ; Ko, Sang Ki ; Salomaa, Kai. / State complexity of k-parallel tree concatenation. In: Fundamenta Informaticae. 2017 ; Vol. 154, No. 1-4. pp. 185-199.
@article{96bf7acce99542aa9177734278a85e44,
title = "State complexity of k-parallel tree concatenation",
abstract = "We give an optimized construction of a tree automaton recognizing the k-parallel, k ≥ 1, tree concatenation of two regular tree languages. For tree automata with m and n states, respectively, the construction yields an upper bound (m+ 1 2)(n+1)· 2 nk -1 for the state complexity of k-parallel tree concatenation. We give a matching lower bound in the case k = 2. We conjecture that the upper bound is tight for all values of k. We also consider the special case where one of the tree languages is the set of all ranked trees and in this case establish a different tight state complexity bound for all values of k.",
author = "Yo-Sub Han and Ko, {Sang Ki} and Kai Salomaa",
year = "2017",
month = "1",
day = "1",
doi = "10.3233/FI-2017-1560",
language = "English",
volume = "154",
pages = "185--199",
journal = "Fundamenta Informaticae",
issn = "0169-2968",
publisher = "IOS Press",
number = "1-4",

}

State complexity of k-parallel tree concatenation. / Han, Yo-Sub; Ko, Sang Ki; Salomaa, Kai.

In: Fundamenta Informaticae, Vol. 154, No. 1-4, 01.01.2017, p. 185-199.

Research output: Contribution to journalArticle

TY - JOUR

T1 - State complexity of k-parallel tree concatenation

AU - Han, Yo-Sub

AU - Ko, Sang Ki

AU - Salomaa, Kai

PY - 2017/1/1

Y1 - 2017/1/1

N2 - We give an optimized construction of a tree automaton recognizing the k-parallel, k ≥ 1, tree concatenation of two regular tree languages. For tree automata with m and n states, respectively, the construction yields an upper bound (m+ 1 2)(n+1)· 2 nk -1 for the state complexity of k-parallel tree concatenation. We give a matching lower bound in the case k = 2. We conjecture that the upper bound is tight for all values of k. We also consider the special case where one of the tree languages is the set of all ranked trees and in this case establish a different tight state complexity bound for all values of k.

AB - We give an optimized construction of a tree automaton recognizing the k-parallel, k ≥ 1, tree concatenation of two regular tree languages. For tree automata with m and n states, respectively, the construction yields an upper bound (m+ 1 2)(n+1)· 2 nk -1 for the state complexity of k-parallel tree concatenation. We give a matching lower bound in the case k = 2. We conjecture that the upper bound is tight for all values of k. We also consider the special case where one of the tree languages is the set of all ranked trees and in this case establish a different tight state complexity bound for all values of k.

UR - http://www.scopus.com/inward/record.url?scp=85027310144&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85027310144&partnerID=8YFLogxK

U2 - 10.3233/FI-2017-1560

DO - 10.3233/FI-2017-1560

M3 - Article

VL - 154

SP - 185

EP - 199

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

SN - 0169-2968

IS - 1-4

ER -