J 2018

The omega-inequality problem for concatenation hierarchies of star-free languages

ALMEIDA, Jorge, Ondřej KLÍMA a Michal KUNC

Základní údaje

Originální název

The omega-inequality problem for concatenation hierarchies of star-free languages

Autoři

ALMEIDA, Jorge (620 Portugalsko), Ondřej KLÍMA (203 Česká republika, garant, domácí) a Michal KUNC (203 Česká republika, domácí)

Vydání

Forum Mathematicum, 2018, 0933-7741

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Impakt faktor

Impact factor: 0.867

Kód RIV

RIV/00216224:14310/18:00100967

Organizační jednotka

Přírodovědecká fakulta

DOI

UT WoS

000430908100008

Klíčová slova anglicky

Pseudovariety; relatively free profinite semigroup; ordered monoid; concatenation hierarchy; Straubing–Thérien hierarchy

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 1. 3. 2019 18:45, doc. Mgr. Ondřej Klíma, Ph.D.

Anotace

V originále

The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages. The main result shows that this problem is decidable for all (integer and half) levels of the Straubing-Therien hierarchy.

Návaznosti

GA15-02862S, projekt VaV
Název: Aplikace algebry a kombinatoriky v teorii formálních jazyků
Investor: Grantová agentura ČR, Aplikace algebry a kombinatoriky v teorii formálních jazyků