J 2009

A counterexample to a conjecture concerning concatenation hierarchies

KLÍMA, Ondřej a Jorge ALMEIDA

Základní údaje

Originální název

A counterexample to a conjecture concerning concatenation hierarchies

Název česky

Protiříklad k hypotéze ohledně konkatenačních hierarchií

Autoři

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

Vydání

Information Processing Letters, Elsevier, 2009, 0020-0190

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Nizozemské království

Utajení

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

Impakt faktor

Impact factor: 0.764

Kód RIV

RIV/00216224:14310/09:00029601

Organizační jednotka

Přírodovědecká fakulta

UT WoS

000272583400002

Klíčová slova anglicky

Formal languages; Regular languages; Concatenation hierarchies; Level two; Star-free languages

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 30. 3. 2010 13:58, doc. Mgr. Ondřej Klíma, Ph.D.

Anotace

V originále

We give a counterexample to the conjecture which was originally formulated by Straubing in 1986 concerning a certain algebraic characterization of regular languages of level 2 in the Straubing Thérien concatenation hierarchy of star free languages.

Česky

Nalezli jsme protipříklad k hypotéze, kterou zformuloval Straubing v roce 1986 a která se týkala jisté algebraické charakterizace regulárních jazyků stupně 2 v Straubing Thérien hierarchii bezhvězdičkových regulárních jazyků.

Návaznosti

GA201/09/1313, projekt VaV
Název: Algebraické metody v teorii automatů a formálních jazyků II
Investor: Grantová agentura ČR, Algebraické metody v teorii automatů a formálních jazyků II
MSM0021622409, záměr
Název: Matematické struktury a jejich fyzikální aplikace
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury a jejich fyzikální aplikace
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky