Reducibility vs. definability for pseudovarieties of semigroups
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F16%3A00088364" target="_blank" >RIV/00216224:14310/16:00088364 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1142/S0218196716500648" target="_blank" >http://dx.doi.org/10.1142/S0218196716500648</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1142/S0218196716500648" target="_blank" >10.1142/S0218196716500648</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Reducibility vs. definability for pseudovarieties of semigroups
Popis výsledku v původním jazyce
It is easy to show that a pseudovariety which is reducible with respect to an implicit signature sigma for the equation x=y can also be defined by sigma-identities. We present several negative examples for the converse using signatures in which the pseudovarieties are usually defined. An ordered example issue from the extended Straubing–Thérien hierarchy of regular languages is also shown to provide a positive example.
Název v anglickém jazyce
Reducibility vs. definability for pseudovarieties of semigroups
Popis výsledku anglicky
It is easy to show that a pseudovariety which is reducible with respect to an implicit signature sigma for the equation x=y can also be defined by sigma-identities. We present several negative examples for the converse using signatures in which the pseudovarieties are usually defined. An ordered example issue from the extended Straubing–Thérien hierarchy of regular languages is also shown to provide a positive example.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA15-02862S" target="_blank" >GA15-02862S: Aplikace algebry a kombinatoriky v teorii formálních jazyků</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
International Journal of Algebra and Computation
ISSN
0218-1967
e-ISSN
—
Svazek periodika
26
Číslo periodika v rámci svazku
7
Stát vydavatele periodika
SG - Singapurská republika
Počet stran výsledku
13
Strana od-do
1483-1495
Kód UT WoS článku
000388649200010
EID výsledku v databázi Scopus
—