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.
|