Další formáty:
BibTeX
LaTeX
RIS
@article{1419103,
author = {Almeida, Jorge and Klíma, Ondřej and Kunc, Michal},
article_number = {3},
doi = {http://dx.doi.org/10.1515/forum-2016-0028},
keywords = {Pseudovariety; relatively free profinite semigroup; ordered monoid; concatenation hierarchy; Straubing–Thérien hierarchy},
language = {eng},
issn = {0933-7741},
journal = {Forum Mathematicum},
title = {The omega-inequality problem for concatenation hierarchies of star-free languages},
url = {https://www.degruyter.com/view/j/form.ahead-of-print/forum-2016-0028/forum-2016-0028.xml},
volume = {30},
year = {2018}
}
TY - JOUR
ID - 1419103
AU - Almeida, Jorge - Klíma, Ondřej - Kunc, Michal
PY - 2018
TI - The omega-inequality problem for concatenation hierarchies of star-free languages
JF - Forum Mathematicum
VL - 30
IS - 3
SP - 663-679
EP - 663-679
SN - 09337741
KW - Pseudovariety
KW - relatively free profinite semigroup
KW - ordered monoid
KW - concatenation hierarchy
KW - Straubing–Thérien hierarchy
UR - https://www.degruyter.com/view/j/form.ahead-of-print/forum-2016-0028/forum-2016-0028.xml
N2 - 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.
ER -
ALMEIDA, Jorge, Ondřej KLÍMA a Michal KUNC. The omega-inequality problem for concatenation hierarchies of star-free languages. \textit{Forum Mathematicum}. 2018, roč.~30, č.~3, s.~663-679. ISSN~0933-7741. Dostupné z: https://dx.doi.org/10.1515/forum-2016-0028.
|
