All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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&gt;m, for a fixed k &gt; 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 &gt;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