Hierarchies of piecewise testable languages
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F10%3A00047228" target="_blank" >RIV/00216224:14310/10:00047228 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Hierarchies of piecewise testable languages
Original language description
The classes of languages which are Boolean combinations of languages of the form A*(a1)A*(a2)A*... A*(am)A*, where a1,...,am are letters, with k>m, for a fixed k > 0, form a natural hierarchy within piecewise testable languages and have been studied by Simon, Blanchet-Sadri, Volkov and others. The main issues were the existence of finite bases of identities for the corresponding pseudovarieties of monoids and monoids generating these pseudovarieties. Here we deal with similar questions concerningthe finite unions and positive Boolean combinations of the languages of the form above. In the first case the corresponding pseudovarieties are given by a single identity, in the second case there are finite bases for k equals to 1 and 2 and there is nofinite basis for k >3 (the case k = 3 remains open). All the pseudovarieties are generated by a single algebraic structure.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
International Journal of Foundations of Computer Science
ISSN
0129-0541
e-ISSN
—
Volume of the periodical
21
Issue of the periodical within the volume
4
Country of publishing house
SG - SINGAPORE
Number of pages
17
Pages from-to
—
UT code for WoS article
000280773400004
EID of the result in the Scopus database
—