KLÍMA, Ondřej a Jorge ALMEIDA. A counterexample to a conjecture concerning concatenation hierarchies. Information Processing Letters, Elsevier, 2009, roč. 110, č. 1, s. 4 - 7. ISSN 0020-0190.
Další formáty:   BibTeX LaTeX RIS
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
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor Pure mathematics
Stát vydavatele Nizozemsko
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ěnil Změnil: doc. Mgr. Ondřej Klíma, Ph.D., učo 3868. Změněno: 30. 3. 2010 13:58.
Anotace
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.
Anotace č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 VaVNázev: Algebraické metody v teorii automatů a formálních jazyků II
Investor: Grantová agentura ČR, Standardní projekty
MSM0021622409, záměrNázev: Matematické struktury a jejich fyzikální aplikace
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
VytisknoutZobrazeno: 21. 8. 2019 00:58